Welcome to Boeklezers.nl
Boeklezers.nl is a network for social reading. We help readers discover new books and authors, and bring readers in contact with each other and with writers. Read more ».
Books
Program Construction - Calucating Implementations from Specifications
Calculating Implementations from Specifications »
Calculating Implementations from Specifications »
Program Construction
This text is about how to construct programs so that they meet their specifications. Formal specifications are written using simple propositional and predica... »
This text is about how to construct programs so that they meet their specifications. Formal specifications are written using simple propositional and predica... »
Mathematics Of Program Construction
4th International Conference, MPC'98, Marstrand, Sweden, June 15-17, 1998 Proceedings »
4th International Conference, MPC'98, Marstrand, Sweden, June 15-17, 1998 Proceedings »
Idea box
