Formal Development of Programs and Proofs
Product ID: 0201172372
Condition: New
Sold Out
Product Description
Formal Development of Programs and Proofs
Technical Specifications
Country
USA
Brand
Addison Wesley
Manufacturer
Addison-Wesley
Binding
Hardcover
EANs
9780201172379
