Model Checking, second edition

by Edmund M. Clarke Jr., Orna Grumberg, Daniel Kroening, Doron Peled and Helmut Veith

Hardcover

$75.00

Hardcover

ISBN: 9780262038836

Pub date: December 4, 2018

Publisher: The MIT Press

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

eBook

$74.99

eBook

ISBN: 9780262349451

Pub date: November 9, 2018

Publisher: The MIT Press

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

eTextbook rental

4 Months: $37.50
12 Months: $52.50

eTextbook

ISBN: 9780262038836

Pub date: December 4, 2018

Publisher: The MIT Press

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

eTextbook

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

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

$75.00

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

$74.99