Modeling and Verification Using UML Statecharts: A Working Guide to Reactive System Design, Runtime Monitoring and Execution-Based Model Checking - Couverture souple
Couverture souple
ISBN 10 : 0080481477 ISBN 13 : 9780080481470
L'édition de cet ISBN n'est malheureusement plus disponible.