Noch Fragen? 0800 / 33 82 637

The Correctness-by-Construction Approach to Programming

Produktform: Buch / Einband - flex.(Paperback)

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

Sprache(n): Englisch

ISBN: 978-3-642-44854-6 / 978-3642448546 / 9783642448546

Verlag: Springer Berlin

Erscheinungsdatum: 09.05.2014

Seiten: 266

Auflage: 1

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

106,99 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zurück