Optimieren Sie Ihre Suche
Keine genauen Treffer für Ihre Suche nach "bakker", "mathematical", "theory", "programme", und "correctness".
Ähnliche Treffer für Ihre Suche
- 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
- Gebraucht
EUR 14,93 Versand - Mathematical theory of program correctness. With the assistance of Arie de Bruin and Jeffery Zucker.De Bakker, Jaco:
- Hardcover
- Gebraucht
EUR 9,95 Versand - Foundations of Computer Science II , Part 1 - Mathematical Centre Tracts 81Apt, K.R. (ed.) / Bakker J.W de (ed.)
- Softcover
- Gebraucht
EUR 15,00 Versand - Foundations of Computer Science II , Part 2 - Mathematical Centre Tracts 82Apt, K.R. (ed.) / Bakker J.W de (ed.)
- Softcover
- Gebraucht
EUR 15,00 Versand - Improving Mathematics at Work: The Need for Techno-Mathematical LiteraciesHoyles, Celia (Author)/ Noss, Richard (Author)/ Kent, Phillip (Author)/ Bakker, Arthur (Author)
- Softcover
- Neu
EUR 11,94 Versand
