購物比價找書網找車網
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折
個人實相的本質有聲書第 5 輯﹝新版﹞
作者:許添盛醫師主講
出版社:賽斯文化
出版日期:2018-08-15
66折: $ 660 
金石堂 - 今日66折
未知的實相有聲書【第2輯】
作者:許添盛
出版社:賽斯文化
出版日期:2007-10-01
66折: $ 581 
金石堂 - 今日66折
靈魂永生有聲書第 8 輯
作者:許添盛醫師
出版社:賽斯文化
出版日期:2021-03-05
66折: $ 660 
金石堂 - 今日66折
【念力的祕密系列(三冊)】:《八的力量》、《念力的科學》、《鍵結效應(隨書附贈:16週鍵結實踐手冊)》
作者:琳恩.麥塔格特
出版社:橡實
出版日期:2020-08-03
66折: $ 825 
 
Taaze 讀冊生活 - 暢銷排行榜
世界上最透明的故事(日本出版界話題作,只有紙本書可以體驗的感動)
作者:杉井光
出版社:皇冠文化出版有限公司
出版日期:2024-09-30
$ 284 
Taaze 讀冊生活 - 暢銷排行榜
我獨自升級(9+10)漫畫(特裝版)
作者:漫畫 DUBU(REDICE STUDIO)、原作 Chugong
出版社:知翎文化
出版日期:2025-01-02
$ 882 
Taaze 讀冊生活 - 暢銷排行榜
氣質系硬筆1000字帖
作者:郭仕鵬
出版社:朱雀文化事業有限公司
出版日期:2018-07-03
$ 221 
金石堂 - 暢銷排行榜
東京-臨界點- (首刷限定版)(全)
作者:ハル
出版社:東立出版社
出版日期:2025-02-28
$ 209 
 
Taaze 讀冊生活 - 新書排行榜
山野花香(3)
作者:清風九度
出版社:北京億森同創文化
出版日期:2025-01-17
$ 590 
博客來 - 新書排行榜
膽大黨 16
作者:龍幸伸
出版社:東立
出版日期:2025-01-23
$ 93 
金石堂 - 新書排行榜
戀染龍雨衣(全)限定版
作者:朔ヒロ
出版社:青文出版社股份有限公司
出版日期:2025-01-03
$ 162 
金石堂 - 新書排行榜
詹姆斯.諾柏瑞創作全集(限量附贈「大熊貓與小小龍」台灣獨家授權束口袋)
作者:詹姆斯.諾柏瑞
出版社:時報文化出版企業股份有限公司
出版日期:2025-01-14
$ 1162 
 

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