Principles of Model Checking

by Christel Baier and Joost-Pieter Katoen

Foreword by Kim Guldstrand Larsen

Hardcover

$80.00

Hardcover

ISBN: 9780262026499

Pub date: April 25, 2008

Publisher: The MIT Press

984 pp., 8 x 10 in, illus.

eTextbook rental

4 Months: $40.00
12 Months: $56.00

eTextbook

ISBN: 9780262026499

Pub date: April 25, 2008

Publisher: The MIT Press

984 pp., 8 x 10 in, illus.

eTextbook