Monographs in Computer Science Predicate Calculus and Program Semantics, (Paperback)
genuine image
Monographs in Computer Science Predicate Calculus and Program Semantics, (Paperback)
Monographs in Computer Science Predicate Calculus and Program Semantics, (Paperback)
物品 #: 247218665

Monographs in Computer Science Predicate Calculus and Program Semantics, (Paperback)

物品 #: 247218665

HKD 852

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 transactionsecured 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
  • fedex
  • dhl
U-Care Warranty:
None
選擇一個計劃
fast shipping

Fast
Shipping

free return

Free
Return*

secure packaging

Secure Packaging

100% original products

100% Original Products

pci-dss

PCI DSS Compliance

iso certified

ISO 27001 Certified

paypal payment
visa payment
mastercard payment
Note: Step Down Voltage Transformer required for using electronics products of 美國 store (110-120). Recommended power converters 立即購買.

產品詳情

Shop Monographs in Computer Science Predicate Calculus and Program Semantics, (Paperback) online at a best price in 香港. 21307125
  • 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 formatPaperback
Fiction/nonfictionNon-Fiction
GenreTextbooks
Publication dateSeptember, 2011
Pages220
SubgenreLogic
Series titleMonographs in Computer Science
Editionsoftcover reprint of the original 1st 1990 Edition
PublisherSpringer New York
Original languagesEnglish
LanguageEnglish
Edu focusMathematics
Educational levelHigher
Is collectibleN
Recording time0 min
Retail packagingSingle 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 weight0.75 lb (340 grams)
Bisac subject headingMathematics

產品敘述

Monographs in Computer Science Predicate Calculus and Program Semantics, (Paperback)

有疑問？ 與我們聊天

客戶問題與解答

  • 題: 如何從 Ubuy 在線購物 Monographs in Computer Science Predicate Calculus？

    回答: 從 Ubuy 在線購物 Monographs in Computer Science Predicate Calculus 非常簡單。. 您只需搜索產品，在結賬時選擇運輸方式，然後將其運送到您所在的位置。
  • 題: Monographs in Computer Science Predicate Calculus 可以在 Hong Kong 在線購物嗎？

    回答: 是的，您可以在 Ubuy Hong Kong 以合理的價格購買該產品。. Monographs in Computer Science Predicate Calculus 在本地不可用，但您可以信任我們的快遞服務。
  • 題: 下訂單後需要多長時間才能收到產品？

    回答: 您訂購的產品的交貨時間根據您訂購的商品和您選擇的運輸方式而有所不同。. 結賬時會提到預計送貨時間，所以購物時請放心。

Edsger W Dijkstra All Books Editorial Review

未找到編輯評論

Customer Reviews & Ratings

5.0
1 客戶評分
  • 5 星
    100%
  • 4 星
    0%
  • 3 星
    0%
  • 2 星
    0%
  • 1 星
    0%

評價此產品

與其他客戶分享您的想法

Product Price History

重要資訊

  • 限制：如跨國購買產品，請注意製造商的保固有可能無效；製造商服務選項可能無法使用；產品手冊、教學、以及安全警示可能不會是目的地國家的語言；產品（與附加材料）設計也許不會符合目的地國家的標準、規格、以及標示要求；且產品也許不會符合目的地國家的伏特數值與其他電力標準（需要使用合適的變壓器或轉接器）。收件者須負責確定該產品在目的地國家可合法進口。當在 Ubuy 或其聯盟夥伴網站上訂購時，收件者為記錄上的進口者，且必須遵從目的地國家的法律與規範。
  • 由於 Ubuy 是一個全球搜尋引擎，並不是所有列於 Ubuy 的產品都有出售。產品須受出口／貿易法規規範。

HKD 852

現在訂購，約可在下列時間收貨： Monday, 十月 12

QTY:

存貨僅剩 99 個物品。
Secured transactionsecured transaction

PCI DSS compliant and ISO 27001:2022 certified, with encrypted payments and full buyer protection on every order.

Our Top Logistics Partners
  • fedex
  • dhl
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.