Doron Drusinsky – författare
Visar alla böcker från författaren Doron Drusinsky. Handla med fri frakt och snabb leverans.
3 produkter
Modeling and Verification Using UML Statecharts
A Working Guide to Reactive System Design, Runtime Monitoring and Execution-based Model Checking
E-bok, 2011
789 kr
Lägg i varukorg
As systems being developed by industry and government grow larger and more complex, the need for superior specification and verification approaches and tools becomes increasingly vital. The developer and customer must have complete confidence that the design produced is correct, and that it meets …
Modeling and Verification Using UML Statecharts
A Working Guide to Reactive System Design, Runtime Monitoring and Execution-based Model Checking
Inbunden, 2006
748 kr
Lägg i varukorg
As systems being developed by industry and government grow larger and more complex, the need for superior specification and verification approaches and tools becomes increasingly vital. The developer and customer must have complete confidence that the design produced is correct, and that it meets …
