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

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

This specific ISBN edition is currently not available.

Language
English
ISBN 10 
0080481477
ISBN 13 
9780080481470
Binding
Taschenbuch

Other Popular Editions of the Same Title

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

Featured Edition

ISBN 10:  0750679492 ISBN 13:  9780750679497
Publisher: Newnes, 2006
Hardcover