Constructing Correct Software (Formal Approaches to Computing and Information Technology)
It is an introduction to the science of writing programs, the engineering of software.
October 25, 2004
publish date
Paperback
physical format
509
pages
Publisher
Springer
External links
Librarything
https://www.librarything.com/work/2560415Related works
