Overview
- Viele unterschiedliche Ansätze formaler Modelle zum Nachweis der Korrektheit von Software
- Includes supplementary material: sn.pub/extras
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (7 chapters)
Keywords
About this book
Reviews
Professor Christoph Klauck, HAW Hamburg
About the author
Bibliographic Information
Book Title: Formale Modelle der Softwareentwicklung
Book Subtitle: Model-Checking, Verifikation, Analyse und Simulation
Authors: Stephan Kleuker
DOI: https://doi.org/10.1007/978-3-8348-9595-0
Publisher: Vieweg+Teubner Verlag Wiesbaden
eBook Packages: Computer Science and Engineering (German Language)
Copyright Information: Vieweg+Teubner Verlag | Springer Fachmedien Wiesbaden GmbH, Wiesbaden 2009
Softcover ISBN: 978-3-8348-0669-7Published: 15 September 2009
eBook ISBN: 978-3-8348-9595-0Published: 22 October 2009
Edition Number: 1
Number of Pages: X, 301
Number of Illustrations: 206 b/w illustrations
Topics: Logics and Meanings of Programs, Software Engineering, Software Engineering/Programming and Operating Systems