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

Principles of Model Checking - Principles of Model Checking

Baier, Christel (Technische Universitat Dresden)

Price
A$ 171.99

Ordered from remote warehouse

Expected delivery Jan 10 - 21, 2025

Our customers say:

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

Principles of Model Checking - Principles of Model Checking

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 April 25, 2008
ISBN13 9780262026499
Publishers MIT Press Ltd
Pages 984
Dimensions 206 × 258 × 42 mm   ·   2.09 kg

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