Principles of Model Checking - Principles of Model Checking - Baier, Christel (Technische Universitat Dresden) - Books - MIT Press Ltd - 9780262026499 - May 1, 2008
In case cover and title do not match, the title is correct

Baier, Christel (Technische Universitat Dresden)
Principles of Model Checking - Principles of Model Checking

Price
$ 139.99
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping May 27 - Jun 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

A comprehensive introduction to the foundations of model checking, a fully automated technique for finding flaws in hardware and software; with extensive examples and both practical and theoretical exercises.

984 pages, illus.

Media Books     Hardcover Book   (Book with hard spine and cover)
Released May 1, 2008
ISBN13 9780262026499
Publishers MIT Press Ltd
Pages 984
Dimensions 206 × 258 × 42 mm   ·   1.83 kg

See all of Baier, Christel (Technische Universitat Dresden) ( e.g. Hardcover Book )