Model Checking

Model Checking

by Edmund M. Clarke Jr., Orna Grumberg and Doron Peleg

Hardcover

$75.00

Hardcover

ISBN: 9780262032704

Pub date: December 20, 1999

Publisher: The MIT Press

330 pp., 7 x 9 in,

330 pp., 7 x 9 in,

  • Hardcover
  • 9780262032704
  • Published: December 1999
  • Publisher: The MIT Press

$75.00

Out of print