von: Derrick G. Kourie · Bruce W. WatsonGebunden Details (Deutschland) Details (USA) Details (Großbritannien) EAN=ISBN-13: 978-3-642-27918-8 ISBN-10: 3-642-27918-X Springer · 2012 |
S. auch: | ||
2014 | Taschenbuch | The Correctness-by-Construction Approach to Programming |