Skip navigation

Model Checking

By Edmund M Clarke, Jr., Orna Grumberg, and Doron Peled
$69.00
$69.00

View Complete Product Information

Specifications

Hardcover

  • Pages: 330p.
  • Dimensions: 7.2 x 8.9 inches
  • Publication Date: December 20, 1999
  • Distributor: The MIT Press
  • ISBN: 9780262032704
  • ISBN10: 0262032708