Roll over image to zoom in

Principles of Model Checking (Principles of Model Checking)

Name: Principles of Model Checking (Principles of Model Checking)
Brand: MIT Press
SKU: 00000_00000_00000_00000
Price: 293.75 AUD
Availability: InStock

Baier, Christel/ Katoen, Joost-Pieter/ Larsen, Kim Guldstrand (FRW)

293.75 AUD

Member Price

264.38

English

Quantity:

Product Description

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.

... Read Full Text

Publisher

MIT Press

Publication Date

Apr 2008

ISBN

9780262026499

Pages

319 illus./984 p.

Item Type

Book

Format

Hardcover

Availability Status

Usually dispatches within 3-4 weeks

While every attempt has been made to ensure stock availability, occasionally we may run out of stock at our stores.

Free domestic shipping on orders over 99.00AUD

Your Cart

Principles of Model Checking (Principles of Model Checking)

Product Description

Availability Status

Principles of Model Checking (Principles of Model Checking)

Recently Viewed Items

Related Products