Systems and Software Verification: Model-Checking Techniques and Tools - B. Berard - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783642074783 - December 15, 2010
In case cover and title do not match, the title is correct

B. Berard
Systems and Software Verification: Model-Checking Techniques and Tools Softcover reprint of hardcover 1st ed. 2001 edition

Price
R 2,457
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jun 2 - 8

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Also available as:

Model checking is a powerful approach for the formal verification of software. The first part describes in simple terms the theoretical basis of model checking: transition systems as a formal model of systems, temporal logic as a formal language for behavioral properties, and model-checking algorithms.

202 pages, 4 black & white illustrations, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released December 15, 2010
ISBN13 9783642074783
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 190
Dimensions 233 × 157 × 18 mm   ·   328 g
Language German  
Translator McKenzie, P.

See all of B. Berard ( e.g. Paperback Book and Hardcover Book )