The spine of software : designing provably correct software--theory and practice or a mathematical introduction to the semantics of computer programs
Author(s)
Bibliographic Information
The spine of software : designing provably correct software--theory and practice or a mathematical introduction to the semantics of computer programs
Wiley, c1987
- Other Title
-
Mathematical introduction to the semantics of computer programs
Available at / 12 libraries
-
No Libraries matched.
- Remove all filters.
Note
Subtitle: Being a treatise on the mathematical foundations and principles of computer programming for software engineers and those who would be or become such
Includes index
