Formal Development of Programs and Proofs

Formal Development of Programs and Proofs

Product ID: 0201172372 Condition: USED (All books in used condition)

Payflex: Pay in 4 interest-free payments of R953.50. Read the FAQ
R 3,814
includes Duties & VAT
Delivery: 10-20 working days
Ships from USA warehouse.
Secure Transaction
VISA Mastercard payflex ozow
Buy in USA

Product Description

Condition - Very Good

The item shows wear from consistent use but remains in good condition. It may arrive with damaged packaging or be repackaged.

Formal Development of Programs and Proofs

Technical Specifications

Country
USA
Brand
Addison-Wesley
Manufacturer
Addison-Wesley
Binding
Hardcover
UnitCount
1
EANs
9780201172379