Refine your search
We were unable to find exact matches based on your search for "bakker", "mathematical", "theory", "programme", and "correctness".
Closest match to your search
- Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness, REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989 Proceedings (Lecture Notes in Computer Science 430)De Bakker, J. W.; De Roever, W.P.; Rosenberg, G. (eds.)
- Softcover
- Used
£ 12.50 shipping - Improving Mathematics at Work: The Need for Techno-Mathematical Literacies (Improving Learning)Bakker, Arthur,Kent, Phillip,Noss, Richard,Hoyles, Celia
- Softcover
- Used
£ 2.77 shipping - Mathematical Theory of Program Correctness (Prentice-Hall International Series in Computer Science)Bakker, J. W. De
- Softcover
- Used
£ 2.77 shipping - Improving Mathematics at Work : The Need for Techno-Mathematical LiteraciesHoyles, Celia; Noss, Richard; Kent, Phillip; Bakker, Arthur
- Softcover
- Used
£ 1.95 shipping - Mathematical theory of program correctness. With the assistance of Arie de Bruin and Jeffery Zucker.De Bakker, Jaco:
- Hardcover
- Used
£ 8.53 shipping
