Qed At Large by Zachary Tatlock Paperback

$84.00
+ $13.99 Shipping

Qed At Large by Zachary Tatlock Paperback

  • Brand: Unbranded
  • product image
Qed At Large by Zachary Tatlock Paperback

Qed At Large by Zachary Tatlock Paperback

  • Brand: Unbranded
Price: $84.00
Sold by:
$84.00
+ $13.99 Shipping

Taxes calculated at checkout

Only 1 left in stock

We accept the following payment methods

Description

Development of formal proofs of correctness of programs can increase actual and perceived reliability and facilitate better understanding of program specifications and their underlying assumptions. Tools supporting such development have been available for over 40 years but have only recently seen wide practical use. Projects based on construction of machinechecked formal proofs are now reaching an unprecedented scale comparable to large software projects which leads to new challenges in proof development and maintenance.
  • Brand: Unbranded
  • Category: Computing & Internet
  • Format: Paperback
  • Language: English
  • Publication Date: 2019-09-03
  • Length: 194
  • Publisher / Label: now publishers Inc
  • Author: Zachary Tatlock
  • Fruugo ID: 339417594-744581621
  • ISBN: 9781680835946

Delivery & Returns

Dispatched within 24 hours

  • STANDARD: $13.99 - Delivery between Fri 10 October 2025–Thu 16 October 2025

Shipping from United Kingdom.

We do our best to ensure that the products that you order are delivered to you in full and according to your specifications. However, should you receive an incomplete order, or items different from the ones you ordered, or there is some other reason why you are not satisfied with the order, you may return the order, or any products included in the order, and receive a full refund for the items. View full return policy