Constructing Correct Software (Formal Approaches to Computing and Information Technology
No ratings yet
1999
·
English
·
Paperback