Welkom op Boeklezers.nl
Boeklezers.nl is een netwerk voor sociaal lezen. Wij helpen lezers nieuwe boeken en schrijvers ontdekken, en brengen lezers met elkaar en schrijvers in contact. Meer lezen »
Boeken
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 »
Program Construction - Calucating Implementations from Specifications
Calculating Implementations from Specifications »
Calculating Implementations from Specifications »
Ideeënbus
