淚腺壞掉兒童選讀AI五十強買房人生課致富覺察FIRE尖端漫畫大賞親師衝突春季暢銷5折起卜正民孟若吉竹伸介佛教我們的勞力事哈佛媽媽失智照護
  1. 分類瀏覽 
提供搜尋： [作者-

吳江琴編著

] 搜索結果：頁數1/1
吳江琴編著的相關搜尋： 周虎林總主編/周天令 副主編/王雪卿、王緯甄、李秋蘭、吳元嘉、陳司直、廖志超、鄭雅文、劉淑娟、蔣妙琴、蕭湘鳳 合編
排序方式

軟件工程形式化方法與語言

作者：

吳江琴編著

出版日期：2010-03-01
出版社：浙江大學出版社
本書選取並介紹了三種代表性的形式化方法，它們分別是以集合論和一階謂詞演算為基礎的Z語言，以時態邏輯為基礎的XYZ，還有以直覺數學學派為基礎的類型理論。 本書既可以作為電腦專業的研究生的形式化課 ...
您對於搜尋結果是否滿意？
太好了！感謝您的回饋！
感謝您的建議！我們會持續提供更好的搜尋服務！
很抱歉沒能幫上忙 :( 我們應如何改進呢？
我不滿意搜尋結果的商品順序