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
Íkr 17,479
excl. VAT

Ordered from remote warehouse

Expected delivery Jul 24 - Aug 10
Get notified about new Baier, Christel (Technische Universitat Dresden) releases

Our customers say:

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

Not rated yet

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

More from the same publisher

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