The Calculus of Computation: Decision Procedures with Applications to Verification View on Open Library

The Calculus of Computation: Decision Procedures with Applications to Verification

by Aaron R. Bradley , Zohar Manna

No reviews yet
First published: 2007 ISBN: 9783540741138
Subjects
Computer software, testing Logic programming

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!

More by Aaron R. Bradley

Programming for Engineers

Programming for Engineers

The calculus of computation

The calculus of computation

You Might Also Like

More in Computer software, t...
Defense acquisitions

Defense acquisitions

United States. General Accounting Office
Defense computers

Defense computers

United States. General Accounting Office
Advances in Computers

Advances in Computers

Atif Memon
IEEE standard for information technology

IEEE standard for information technology

Institute of Electrical and Electronics Engineers
Year 2000 computing crisis

Year 2000 computing crisis

United States. General Accounting Office
Software Testing

Software Testing

Brian Hambling