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

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

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

『英文書』Predicate Transformer Semantics（ISBN=9780521616102）

書城自編碼： 1835493
分類：簡體書→原版英文書→科学与技术 Science & Tech
作者： Ernest
國際書號(ISBN)： 9780521616102
出版社： Cambridge University
出版日期： 2012-01-01
版次： 1 印次： 1
頁數/字數： 223/
書度/開本： 16开 釘裝： 平装

售價：HK$ 1086.3

我要買 件

 

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

新書推薦：
金庸评传
《 金庸评传 》
售價：HK$ 201.6
西方哲学史
《 西方哲学史 》
售價：HK$ 106.8
中国财富管理发展指数（2022）
《 中国财富管理发展指数（2022） 》
售價：HK$ 69.6
希腊神话和仪式中的结构与历史
《 希腊神话和仪式中的结构与历史 》
售價：HK$ 93.6
世界花纹与图案大典
《 世界花纹与图案大典 》
售價：HK$ 357.6
周制与秦制
《 周制与秦制 》
售價：HK$ 153.6
花路
《 花路 》
售價：HK$ 105.6
万亿指数
《 万亿指数 》
售價：HK$ 105.6

 
內容簡介：
A central problem in the design of programming systems is to
provide methods for verifying that computer code performs to
specification. This book presents a rigorous foundation for
defining Boolean categories, in which the relationship between
specification and behaviour can be explored. Boolean categories
provide a rich interface between program constructs and techniques
familiar from algebra, for instance matrix- or ideal-theoretic
methods. The book''s distinction is that the approach relies on only
a single program construct the first-order theory of categories,
the others being derived mathematically from four axioms.
Development of these axioms which are obeyed by an abundance of
program paradigms yields Boolean algebras of ''predicates'',
loop-free constructs, and a calculus of partial and total
correctness which is shown to be the standard one of Hoare,
Dijkstra, Pratt, and Kozen. The book is based in part on courses
taught by the author, and will appeal to graduate students and
researchers in theoretical computer science.
目錄：
1. Finite coproducts
2. Structure of a Boolean category
3. Metatheory
4. Distributive categories
Bibliography
Index.

 

 

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