登入帳戶  | 訂單查詢  | 購物車/收銀台( 0 ) | 在線留言板  | 付款方式  | 運費計算  | 聯絡我們  | 幫助中心 |  加入書簽
會員登入 新用戶登記
HOME新書上架暢銷書架好書推介特價區會員書架精選月讀2023年度TOP分類瀏覽雜誌 臺灣用戶
品種:超過100萬種各類書籍/音像和精品,正品正價,放心網購,悭钱省心 服務:香港台灣澳門海外 送貨:速遞郵局服務站

新書上架簡體書 繁體書
暢銷書架簡體書 繁體書
好書推介簡體書 繁體書

八月出版:大陸書 台灣書
七月出版:大陸書 台灣書
六月出版:大陸書 台灣書
五月出版:大陸書 台灣書
四月出版:大陸書 台灣書
三月出版:大陸書 台灣書
二月出版:大陸書 台灣書
一月出版:大陸書 台灣書
12月出版:大陸書 台灣書
11月出版:大陸書 台灣書
十月出版:大陸書 台灣書
九月出版:大陸書 台灣書
八月出版:大陸書 台灣書
七月出版:大陸書 台灣書
六月出版:大陸書 台灣書

『簡體書』OESPA:面向语义的编程理论(英文版)(OESPA: Semantic Oriented Theory of Programming)

書城自編碼: 3402576
分類:簡體書→大陸圖書→計算機/網絡程序設計
作者: 袁崇义
國際書號(ISBN): 9787030600936
出版社: 科学出版社
出版日期: 2019-08-01

頁數/字數: /
釘裝: 平装胶订

售價:HK$ 162.0

我要買

 

** 我創建的書架 **
未登入.


新書推薦:
中国二战史研究七十年(1950—2019)
《 中国二战史研究七十年(1950—2019) 》

售價:HK$ 667.0
摩梭仁者:东巴口述史
《 摩梭仁者:东巴口述史 》

售價:HK$ 135.7
趣话通信:6G的前世、今生和未来
《 趣话通信:6G的前世、今生和未来 》

售價:HK$ 90.9
不羁.完结篇
《 不羁.完结篇 》

售價:HK$ 60.7
性别经济学
《 性别经济学 》

售價:HK$ 71.3
中国书法嬗变与思考(国家社科基金后期资助项目)
《 中国书法嬗变与思考(国家社科基金后期资助项目) 》

售價:HK$ 112.7
关键冲突:如何化人际关系危机为合作共赢(原书第2版)
《 关键冲突:如何化人际关系危机为合作共赢(原书第2版) 》

售價:HK$ 86.3
探索清陵五十年
《 探索清陵五十年 》

售價:HK$ 1012.0

 

內容簡介:
传统的软件理论研究是形式语法和形式语义分离,语义研究成果没有实用性,测试一直是软件开发的必要步骤。本书是统一研究语法与语义的成果,包括程序模型(OE),语义公理(A),语义谓词(SP),语义谓词演算,是一套全新的完整的实用的程序理论。实例证明用OESPA可以用于程序开发各步骤,程序验证及程序验证自动化(符号演算)。测试不再是必要的。为开发相应的验证工具奠定了基础。

 

 

書城介紹  | 合作申請 | 索要書目  | 新手入門 | 聯絡方式  | 幫助中心 | 找書說明  | 送貨方式 | 付款方式 香港用户  | 台灣用户 | 大陸用户 | 海外用户
megBook.com.hk
Copyright © 2013 - 2024 (香港)大書城有限公司  All Rights Reserved.