Authors:
- Viele unterschiedliche Ansätze formaler Modelle zum Nachweis der Korrektheit von Software
- Includes supplementary material: sn.pub/extras
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (7 chapters)
-
Front Matter
-
Back Matter
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-7
eBook ISBN: 978-3-8348-9595-0
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