Constructing Correct Software (Formal Approaches to Computing and Information Technology (FACIT))
de John Cooke
Ediciones (1)
- Constructing Correct Software (Formal Approaches to Computing and Information Technology (FACIT)) (1999)
Springer · inglés · ISBN 9783540761563
