博客來-作者-Reiner (EDT) Schmitt

熱門搜尋

分類(單選)	所有商品(2) 圖書(2) 顯示所有篩選
配送方式(可複選)	可海外宅配(2) 可港澳店取(1) 可新加坡店取(1) 可菲律賓店取(1)
其他(可複選)

搜尋結果共 2 筆, 頁數 1 / 1

呈現:

列表
小圖

Deductive Software Verification: The Key Book; from Theory to Practice

Deductive Software Verification: The Key Book; from Theory to Practice

外文書 , Ahrendt Bernhard (EDT)/ Bubel Peter H. (EDT) Reiner (EDT)/ Schmitt Richard (EDT)/ Hähnle Wolfgang (EDT)/ Beckert , Ingram , 出版日期: 2016-12-21

優惠價: 7799 元

Static analysis of software with deductive methods is a highly dynamic field of research on the verg... more

放入購物車下次再買

Verification of Object-Oriented Software: The Key Approach

Verification of Object-Oriented Software: The Key Approach

外文書 , Beckert Bernhard (EDT)/ Hahnle Peter H. (EDT) Reiner (EDT)/ Schmitt , Ingram , 出版日期: 2007-02-01

優惠價: 7000 元

Long gone are the days when program veri?cation was a task carried out merely by hand with paper and... more

放入購物車下次再買

全選

放入購物車

搜尋推薦