購物比價找書網找車網
FindBook
排序:
 
 有 1 項符合

walther christoph

的圖書
Verification, Induction, Termination Analysis: Festschrift for Christoph Walther on the Occasion of His 60th Birthday
$ 3299
Verification, Induction, Termination Analysis: Festschrift for Christoph Walther on the Occasion of His 60th Birthday
作者:Siegler,Simon(EDT)/Wasser,Nathan(EDT) 
出版社:Springer-Verlag New York Inc
出版日期:2010-11-16
語言:英文   規格:平裝 / 143頁 / 15.2 x 22.9 x 0.6 cm / 普通級
博客來 博客來 - 應用軟體與開發工程  - 來源網頁  
圖書介紹看圖書介紹
圖書介紹 - 資料來源:博客來   評分:
圖書名稱:Verification, Induction, Termination Analysis: Festschrift for Christoph Walther on the Occasion of His 60th Birthday

內容簡介

This Festschrift volume, published in honor of Christoph Walther, contains contributions written by some of his colleagues, former students, and friends. In celebration of the 60th birthdays of Alejandro P. Buchmann, Sorin A. Huss and Christoph Walther, a colloquium was held on November 19th, 2010 in Darmstadt, Germany.The articles collected herein cover some of the main topics of Christoph Walther's research interests, such as formal modeling, theorem proving, induction, and termination analysis. Together they give a good overall perspective on the formal verification of the correctness of software systems.
 

詳細資料

  • ISBN:9783642171710
  • 規格:平裝 / 15.2 x 22.9 x 0.6 cm / 普通級
贊助商廣告
 
金石堂 - 今日66折
饕餮記【第一部】【上下】套書不分售
作者:殷羽
出版社:英屬維京群島商高寶國際有限公司
出版日期:2022-08-10
66折: $ 422 
金石堂 - 今日66折
與超靈有約有聲書第6輯
作者:陳嘉珍
出版社:賽斯文化
出版日期:2012-12-03
66折: $ 211 
金石堂 - 今日66折
健康之道有聲第4輯﹝2015年新版﹞
作者:許添盛醫師主講
出版社:賽斯文化
出版日期:2015-11-20
66折: $ 660 
金石堂 - 今日66折
三國演義<上下不分售>套書
作者:吳淡如
出版社:聚光文創
出版日期:2019-09-30
66折: $ 422 
 
博客來 - 暢銷排行榜
療傷遊戲 重新開始 5(首刷限定版)
出版日期:2025-02-05
$ 170 
博客來 - 暢銷排行榜
世界上最透明的故事(日本出版界話題作,只有紙本書可以體驗的感動)
作者:杉井光
出版社:皇冠
出版日期:2024-09-30
$ 284 
Taaze 讀冊生活 - 暢銷排行榜
我在億萬豪宅當保母:一個底層女孩在頂層社會的窺奇與學習
作者:史蒂芬妮‧基瑟
出版社:先覺出版
出版日期:2025-02-01
$ 308 
 
Taaze 讀冊生活 - 新書排行榜
還好,我帶媽媽去看了世界
作者:沈昌賢Vocal
出版社:時報文化出版企業股份有限公司
出版日期:2025-02-11
$ 294 
金石堂 - 新書排行榜
特殊傳說Ⅲ vol.10
作者:護玄
出版社:蓋亞文化有限公司
出版日期:2025-02-05
$ 253 
金石堂 - 新書排行榜
蕾卡乃華麗且我專屬的女僕【黑條修正】
$ 277 
Taaze 讀冊生活 - 新書排行榜
蘇東坡顛沛流離植物記
作者:潘富俊
出版社:貓頭鷹出版
出版日期:2025-02-06
$ 483 
 

©2025 FindBook.com.tw -  購物比價  找書網  找車網  服務條款  隱私權政策