The calculus of computation

View on Open Library

The calculus of computation

by Aaron R. Bradley

No reviews yet

First published: 2007 1 language ISBN: 3540741127

Subjects

Computer logic Verification Computer programs 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: Decision Procedures with Applications to Verification

The Calculus of Computation: Decision Pr...

You Might Also Like

More in Computer logic

Gödel, Escher, Bach

Gödel, Escher, Bach

Douglas R. Hofstadter

Discrete Mathematics and Its Applications

Discrete Mathematics and Its Application...

Kenneth H. Rosen

Computability and logic

Computability and logic

George Boolos

Digital Design

John F. Wakerly

Evaluation of Novel Approaches to Software Engineering

Evaluation of Novel Approaches to Softwa...

Leszek A. Maciaszek

Information and Communication Technologies in Education, Research, and Industrial Applications

Information and Communication Technologi...

Vadim Ermolayev