Buy Used and New ZoharManna Books

The Calculus of Computation: Decision Procedures with Applications to Verification

by Aaron R. Bradley,Zohar Manna

ISBN 13: 9783540741121

Format: Hardcover (366 pages)
Publisher: Springer
Published: 03 Sep 2007

Save for later

Mathematical Theory of Computation

by Zohar Manna

ISBN 13: 9780486432380

Format: Paperback (464 pages)
Publisher: Dover Publications Inc.
Published: 01 Nov 2003

Save for later