了得網計算機/網絡_形式語義學引論第2版周巢塵,詹乃軍著程序設計（新）專業科技

	[ 收藏 ] [ 繁体中文 ]
臺灣貨到付款、ATM、超商、信用卡PAYPAL付款，4-7個工作日送達，999元臺幣免運費　　　在線留言商品價格為新臺幣

商品搜索

类别：

关键字：

商品分类

新类目

　管理
　投资理财
　经济
　社会科学

形式語義學引論第2版周巢塵,詹乃軍著程序設計（新）專業科技
該商品所屬分類：計算機/網絡 -> 計算機/網絡
【市場價】	585-848元
【優惠價】	366-530元
【作者】	周巢塵，詹乃軍
【出版社】	科學出版社
【ISBN】	9787030533838
【折扣說明】	一次購物滿999元台幣免運費+贈品一次購物滿2000元台幣95折+免運費+贈品一次購物滿3000元台幣92折+免運費+贈品一次購物滿4000元台幣88折+免運費+贈品
【本期贈品】	①優質無紡布環保袋，做工棒！②品牌簽字筆 ③品牌手帕紙巾

版本	正版全新電子版PDF檔
您已选择：	正版全新
溫馨提示：如果有多種選項，請先選擇再點擊加入購物車。 . 電子圖書價格是0.69折，例如了得網價格是100元，電子書pdf的價格則是69元。 . 購買電子書不支持貨到付款，購買時選擇atm或者超商、PayPal付款。付款後1-24小時內通過郵件傳輸給您。 *. 如果收到的電子書不滿意，可以聯絡我們退款。謝謝。

內容介紹

產品名稱：形式語義學引論(第二版)

是否是套裝：否

書名：形式語義學引論(第二版) 形式語義學引論(第二版)

代碼：68

出版社名稱：科學出版社

出版時間：2017年10月

作者：周巢塵，詹乃軍

開本：16開

ISBN編號：9787030533838

"

形式語義學引論

作者:周巢塵,詹乃軍著

定價:68

出版社:科學出版社

出版日期:2017年09月01日

頁數:150

裝幀:精裝

ISBN:9787030533838

●再版說明
●前言
●第1章操作語義學 1
●1.1 引言 1
●1.2 FLOW語言 2
●1.3 棧-狀態-控制機器 3
●1.4 程序的計算 7
●1.5 歸約關繫 9
●1.6 Com=com 13
●1.7 AFLOW的操作語義 14
●1.8 操作語義發展動態 15
●參考文獻 16
●第2章指稱語義學 17
●2.1 引言 17
●2.2 FLOW的指稱語義 18
●2.3 完全偏序集和連續函數 20
●2.4連續算子 25
●2.5 不動點 29
●2.6 例 33
●2.7 FLOW的指稱語義（續） 37......

內容簡介

《形式語義學引論（第二版）》為形式語義學入門參考書，簡單介紹程序的操作語義、指稱語義和公理語義。《形式語義學引論（第二版）》共7章：靠前章介紹操作語義，第2章介紹指稱語義，第3章介紹公理語義，第4介紹過程調用的形式語義，第5章介紹非確定程序的形式語義，第6章介紹並發程序的形式語義，第7章介紹程序的時態語義。

"

網友評論我們期待著您對此商品發表評論

相關商品

在線留言 商品價格為新臺幣

關於我們送貨時間安全付款會員登入加入會員我的帳戶網站聯盟

返回頂部

商品搜索

商品分类

【醫學】

【各大出版社】