0 ratings
商品＃:
247218665
Monographs in Computer Science Predicate Calculus and Program Semantics, (Paperback)
商品＃:
247218665
TWD 3727
Price Details
Excluding Shipping & Custom charges ( Shipping and custom charges will be calculated on checkout )
*All items will import from 美國
0 ratings
撰寫評論
有存貨
從USA商店匯入
QTY:
庫存僅剩99件。
立即訂購並活動它 Monday, 十月 12
Secured transaction
Ubuy works hard to protect your security and privacy. Our advanced payment security system ensures confidentiality by encrypting your information during transmission using AES (Advanced Encryption Standards) and SSL (Secure Socket Layer) protocols. Your payment details are 100% secure as we do not share your payment details with third party sellers.
Our Top Logistics Partners
Fast
Shipping
Free
Return*
Secure Packaging
100% Original Products
PCI DSS Compliance
ISO 27001 Certified
產品詳情
- This booklet presents a reasonably self-contained theory of predicate trans- former semantics. Predicate transformers were introduced by one of us (EWD) as a means for defining programming language semantics in a way that would directly support the systematic development of programs from their formal specifications. They met their original goal, but as time went on and program derivation became a more and more formal activity, their informal introduction and the fact that many of their properties had never been proved became more and more unsatisfactory. And so did the original exclusion of unbounded nondeterminacy. In 1982 we started to remedy these shortcomings. This little monograph is a result of that work. A possible -and even likely- criticism is that anyone sufficiently versed in lattice theory can easily derive all of our results himself. That criticism would be correct but somewhat beside the point. The first remark is that the average book on lattice theory is several times fatter (and probably less self- contained) than this booklet. The second remark is that the predicate transformer semantics provided only one of the reasons for going through the pains of publication.
| Book format | Paperback |
| Fiction/nonfiction | Non-Fiction |
| Genre | Textbooks |
| Publication date | September, 2011 |
| Pages | 220 |
| Subgenre | Logic |
| Series title | Monographs in Computer Science |
| Edition | softcover reprint of the original 1st 1990 Edition |
| Publisher | Springer New York |
| Original languages | English |
| Language | English |
| Edu focus | Mathematics |
| Educational level | Higher |
| Is collectible | N |
| Recording time | 0 min |
| Retail packaging | Single Piece |
| Assembled product dimensions (l x w x h) | 6.14 x 0.51 x 9.21 in (15.6 x 1.3 x 23.4 cm) |
| Assembled product weight | 0.75 lb (340 grams) |
| Bisac subject heading | Mathematics |
產品描述
Monographs in Computer Science Predicate Calculus and Program Semantics, (Paperback)
有疑問？ 和我們聊天
客戶問題與解答
-
問題:
如何從 Ubuy 在線購物 Monographs in Computer Science Predicate Calculus？
Answer: 從 Ubuy 在線購物 Monographs in Computer Science Predicate Calculus 非常簡單。. 您只需搜索產品，在結賬時選擇運輸方式，然後將其運送到您所在的位置。 -
問題:
Monographs in Computer Science Predicate Calculus 可以在 Taiwan 在線購物嗎？
Answer: 是的，您可以在 Ubuy Taiwan 以合理的價格購買該產品。. Monographs in Computer Science Predicate Calculus 在本地不可用，但您可以信任我們的快遞服務。 -
問題:
下訂單後需要多長時間才能收到產品？
Answer: 您訂購的產品的交貨時間根據您訂購的商品和您選擇的運輸方式而有所不同。. 結賬時會提到預計送貨時間，所以購物時請放心。
Edsger W Dijkstra All Books Editorial Review
未找到編輯評論
Customer Reviews & Ratings
1 客戶評價
-
5 星
100%
-
4 星
0%
-
3 星
0%
-
2 星
0%
-
1 星
0%
評論這個產品
和其他客戶分享您的想法
Product Price History
重要資訊
- 限制：對於國際運輸的產品，請注意任何製造商保修可能無效；製造商服務選項可能不可用；產品手冊、說明和安全警告可能不是目的地國家的語言；產品（及隨附材料）的設計可能不符合目的地國家的標準、規範和標籤要求；並且產品可能不符合目的地國家的電壓和其他電氣標準（如果適用，需要使用適配器或轉換器）。收件人有責任確保產品可以合法進口到目的地國家。當從Ubuy或其關聯公司訂購時，收件人是記錄在案的進口人，並且必須遵守目的地國家的所有法律和法規。
- 由於Ubuy是一個全球搜索引擎，因此並非Ubuy上列出的所有產品都在出售。產品受出口/貿易法規的約束。
TWD 3727
立即訂購並活動它 Monday, 十月 12
This item is not restrict in my country.(Please click on above link if this item is not restrict in your country, So our team will review and allow.)
QTY:
庫存僅剩99件。
Secured transaction
PCI DSS compliant and ISO 27001:2022 certified, with encrypted payments and full buyer protection on every order.
Our Top Logistics Partners
Fastest cross-border delivery
Ubuy Assurance
Experience worry-free shopping with 100% original products, PCI DSS-compliant payment security, ISO 27001-certified data protection, the fastest cross-border delivery, free returns *, and secure packaging on every order.