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
Height
9.75
Length
6.75
Weight
1.10010668738
Width
0.5
