Skip navigation

Principles of Model Checking

By Christel Baier and Joost-Pieter Katoen
$68.00
$68.00

View Complete Product Information

Specifications

Hardcover

  • Pages: 984p.
  • Illustrations: illus.
  • Dimensions: 8 x 10 inches
  • Publication Date: April 25, 2008
  • Distributor: The MIT Press
  • ISBN: 9780262026499
  • ISBN10: 026202649x