Model Checking

424 pp., 7 x 9 in, 154 b&w illus.

  • eBook
  • 9780262349451
  • Published: November 9, 2018
  • Publisher: The MIT Press

$74.99

  • Hardcover
  • 9780262038836
  • Published: December 4, 2018
  • Publisher: The MIT Press

$75.00