Abstract State Machines
Produktnummer:
180b8e6c5377a841908c0b99a24297db87
| Autor: | Börger, Egon Stärk, Robert |
|---|---|
| Themengebiete: | Algorithms Lift Unified Modeling Language (UML) algorithm model checking modeling real-time robot simulation system |
| Veröffentlichungsdatum: | 03.10.2013 |
| EAN: | 9783642621161 |
| Sprache: | Englisch |
| Seitenzahl: | 438 |
| Produktart: | Kartoniert / Broschiert |
| Verlag: | Springer Berlin |
| Untertitel: | A Method for High-Level System Design and Analysis |
Produktinformationen "Abstract State Machines"
Written for hardware-software system engineers, researchers and students, this text introduces a systems engineering method that guides the development of software and embedded hardware-software systems seamlessly from requirements capture to their implementation. It helps the designer to cope with the three stumbling-blocks of building modern software based systems: size, complexity and trustworthiness. It covers within a single conceptual framework both design, verification by reasoning techniques, and experimental validation by simulation and testing. The text contains detailed proofs, exercises, as well as numerous real-world examples and case studies.
Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen