The Calculus of Computation: Decision Procedures with Applications to Verification

by Zohar Manna (Author), Aaron R. Bradley (Author)

New
Paperback
2010
$53.33

$53.33

Quantity

10 in stock

More Information

Format: Paperback
Pages: 382
Edition: Softcover reprint of hardcover 1st ed. 2007
Publisher: Springer
Published: 19 Oct 2010
ISBN 10: 3642093477
ISBN 13: 9783642093470

The Calculus of Computation: Decision Procedures with Applications to Verification

New

$53.33

$53.33

More Information