Noch Fragen? 0800 / 33 82 637

The Correctness-by-Construction Approach to Programming

Produktform: E-Buch Text Elektronisches Buch in proprietärem

The principal purpose of this book is to change the way software developers approach their task at programming-in-the-small level, with a view to improving code quality. Thus it coheres with both the IEEE’s Guide to the Software Engineering Body of Knowledge (SWEBOK) recommendations, which identifies themes covered in this book as part of the software engineer’s arsenal of tools and methods, and with the goals of the Software Engineering Method and Theory (SEMAT) initiative, which aims to “refound software engineering based on a solid theory.”weiterlesen

Elektronisches Format: PDF

Sprache(n): Englisch

ISBN: 978-3-642-27919-5 / 978-3642279195 / 9783642279195

Verlag: Springer Berlin

Erscheinungsdatum: 10.04.2012

Seiten: 266

Autor(en): Derrick G. Kourie, Bruce W. Watson

96,29 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zurück