Modeling and Verification Using UML Statecharts A Working Guide to Reactive System Design, Runtime Monitoring and Execution-Based Model Checking
-
- Taschenbuch ausgewählt
- eBook
-
Sprache:Englisch
-
Verlag:Elsevier
Fr. 113.00
inkl. gesetzl. MwSt.,
Produktdetails
Einband
Taschenbuch
Erscheinungsdatum
15.04.2006
Verlag
ElsevierSeitenzahl
400
Sprache
Englisch
ISBN
978-1-4933-0318-2
Kundinnen und Kunden meinen
Verfassen Sie die erste Bewertung zu diesem Artikel
Helfen Sie anderen Kund*innen durch Ihre Meinung