Vetenskap & teknik
Modeling and Verification Using UML Statecharts: A Working Guide to Reactive System Design, Runtime Monitoring and Execution-Based Model Checking
Doron Drusinsky
Häftad
859:-
Uppskattad leveranstid 7-12 arbetsdagar
Fri frakt för medlemmar vid köp för minst 249:-
- Format: Häftad
- ISBN: 9781493303182
- Språk: Engelska
- Antal sidor: 400
- Utgivningsdatum: 2006-04-15
- Förlag: Newnes