慷慨的感染力我不是想死進擊的巨人讀首詩中年之路與自己和解京都新時代運動逛美術館我不做英雄幸福的鬼島更新粒線體柴門文長照
  1. 分類瀏覽 
提供搜尋： [作者-

吳江琴編著

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

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

作者：

吳江琴編著

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