TOP
0
0
【23號簡體館日】限時三天領券享優惠!!

縮小範圍


商品類型


簡體書 (1)

商品狀況


可訂購商品 (1)

庫存狀況


無庫存 (1)

商品定價


$400~$599 (1)

出版日期


2016~2017 (1)

裝訂方式


精裝 (1)

作者


周巢塵、詹乃軍 (1)

出版社/品牌


科學出版社 (1)

三民網路書店 / 搜尋結果

1筆商品,1/1頁
形式語義學引論(第二版)(簡體書)
滿額折

1.形式語義學引論(第二版)(簡體書)

作者:周巢塵; 詹乃軍  出版社:科學出版社  出版日:2017/10/16 裝訂:精裝
本書為形式語義學入門參考書,簡單介紹程序的操作語義、指稱語義和公理語義。全書共7章:第1章介紹操作語義,第2章介紹指稱語義,第3章介紹公理語義,第4介紹過程調用的形式語義,第5章介紹非確定程序的形式語義,第6章介紹併發程序的形式語義,第7章介紹程序的時態語義。
定價:408 元, 優惠價:87 355
海外經銷商無庫存,到貨日平均30天至45天

暢銷榜

客服中心

收藏

會員專區