Name: Constructing Correct Software (Formal Approaches to Computing and Information Technology,) - D. John Cooke
Brand: Springer
Availability: InStock

Constructing Correct Software (Formal Approaches to Computing and Information Technology,) - D. John Cooke - Springer | SuperScan