Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: num all "9783834806697"
Link zu diesem Datensatz | https://d-nb.info/997058579 |
Titel | Formale Modelle der Softwareentwicklung : Model-Checking, Verifikation, Analyse und Simulation / Stephan Kleuker |
Person(en) | Kleuker, Stephan (Mitwirkender) |
Verlag | Wiesbaden : Vieweg + Teubner |
ISBN/Einband/Preis | 978-3-8348-0669-7 : EUR 34.90 |
EAN | 9783834806697 |
Beziehungen | Studium |
Anmerkungen | Literaturangaben |
Schlagwörter | Softwareentwicklung ; Korrektheit ; Beweis ; Formale Methode |
DDC-Notation | 005.14 [DDC22ger] |
Sachgruppe(n) | 004 Informatik |
Zugehörige Bände |
2 Publikationen
|