Modeling and Verification Using UML Statecharts A Working Guide to Reactive System Design Runtime Monitoring and Execution based Model Checking 1st Edition Doron Drusinsky

Original price was: $50.00.Current price is: $35.00.

Modeling and Verification Using UML Statecharts A Working Guide to Reactive System Design Runtime Monitoring and Execution based Model Checking 1st Edition Doron Drusinsky Digital Instant Download

Author(s): Doron Drusinsky
ISBN(s): 9780750679497, 0750679492
Edition: 1
File Details: PDF, 9.25 MB
Year: 2006
Language: english
SKU: EB-2000862 Category: Tag: