Modeling and Verification Using UML Statecharts: A Working Guide to Reactive System Design, Runtime Monitoring and Execution-Based Model Checking
Häftad, Engelska, 2006
839 kr
Beställningsvara. Skickas inom 7-10 vardagar
Fri frakt för medlemmar vid köp för minst 249 kr.Produktinformation
- Utgivningsdatum2006-04-15
- FormatHäftad
- SpråkEngelska
- Antal sidor400
- FörlagNewnes
- ISBN9781493303182
Tillhör följande kategorier
Hoppa över listan