Placeholder text
Modeling And Verification Using UML Statecharts: A Working Guide to Reactive System Design, Runtime Monitoring And Execution-Based Model Checking
Modeling And Verification Using UML Statecharts: A Working Guide to Reactive System Design, Runtime Monitoring And Execution-Based Model Checking
0 - Default Title
Product details
Edition:
1
Number of Pages:
400
Release Date:
2006-05-22
Publication Date:
2006-05-22
Publisher:
Newnes (an imprint of Butterworth-Heinemann Ltd )
Languages:
Published:
English,
Original:
English
ISBN10:
0750679492
Weight:
658 g
Currently sold out