Model Checking Abstract State Machines

Name: Model Checking Abstract State Machines
Brand: VDM Verlag Dr. Mueller e.K.
SKU: b644081cbb578c8dbf594bb14f1a6aa8

1/1

Prices from

65.57

Featured

Description

Model Checking Abstract State Machines

Compare webshops (2)

Shop

Price

£ 65.57

To Shop

£ 65.57

To Shop

Description (0)

Model Checking Abstract State Machines

Brand	VDM Verlag Dr. Mueller e.K.
EAN	9783639018912

Springer

Handbook of Model Checking

Independently Published

Solibri Model Checking + Coordination excercises

MIT Press

Model Checking (Cyber Physical Systems Series)

MIT Press

Model Checking (Cyber Physical Systems Series)