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: 15-03-2026, 16:32

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

Independently Published

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

Wiley-ISTE

Modeling and Verification of Real time Systems: Formalisms Software Tools

Cambridge University Press

Modelling Systems: Practical Tools and Techniques in Software Development

Featured Choice

£ 119.99

To Shop