Modeling and Verification Using UML Statecharts: A Working Guide to Reactive System Design, Runtime Monitoring and Execution-Based Model Checking - Brossura

 
9780080481470: Modeling and Verification Using UML Statecharts: A Working Guide to Reactive System Design, Runtime Monitoring and Execution-Based Model Checking
Brossura
ISBN 10: 0080481477 ISBN 13: 9780080481470

Al momento non sono disponibili copie per questo codice ISBN.

Lingua
Inglese
ISBN 10 
0080481477
ISBN 13 
9780080481470
Rilegatura
Taschenbuch
Contatto del produttore
non disponibile
Persona responsabile
non disponibile

Altre edizioni note dello stesso titolo

9780750679497: Modeling And Verification Using UML Statecharts: A Working Guide to Reactive System Design, Runtime Monitoring And Execution-Based Model Checking

Edizione in evidenza

ISBN 10:  0750679492 ISBN 13:  9780750679497
Casa editrice: Newnes, 2006
Rilegato