Systems and Software Verification: Model Checking Techniques Tools

Name: Systems and Software Verification: Model Checking Techniques Tools
Brand: Springer
SKU: 6d6c7d5c73296a926a35fa53880fc645

1/1

Prices from

119.99

Featured

	£ 119.99	To Shop
	£ 119.99	To Shop

Description

Amazon Pages: 202, Edition: 2001, Hardcover, Springer

Compare webshops (2)

Shop

Price

£ 119.99

To Shop

£ 119.99

To Shop

Description (1)

Pages: 202, Edition: 2001, Hardcover, Springer

Brand	Springer
EAN	9783540415237

Prices were last updated on: 24-02-2026, 00:43

Independently Published

FORMAL VERIFICATION FOR SOFTWARE SYSTEMS: Model checking correctness proofs and specification driven development

Cambridge University Press

Model Checking Quantum Systems: Principles and Algorithms

MIT Press

Model Checking (Cyber Physical Systems Series)

MIT Press

Model Checking (Cyber Physical Systems Series)

Featured Choice

£ 119.99

To Shop