Clicky

The Calculus of Computation: Decision Procedures with Applications to Verification by Aaron R. Bradley and similar books you'll love - Bookscovery

Home > Authors > Aaron R. Bradley > The Calculus of Computation: Decision Procedures with Applications to Verification

Buy at: Bookshop.org Amazon

The Calculus of Computation: Decision Procedures with Applications to Verification

Aaron R. Bradley, Zohar Manna

Recent activity

Rate this book to see your activity here.

17 Books Similar to The Calculus of Computation: Decision Procedures with Applications to Verification by Aaron R. Bradley

Bookscovery readers who liked The Calculus of Computation: Decision Procedures with Applications to Verification also like Fundamentals of deductive program synthesis, Introduction to Mathematical Theory of Computation (Computer Science) and Lectures on the logic of computer programming. How many of these have you read?

Fundamentals of deductive program synthesis by Zohar Manna

Cover of Fundamentals of deductive program synthesis
Buy this book at:
Bookshop.org Amazon

Introduction to Mathematical Theory of Computation (Computer Science) by Zohar Manna

Cover of Introduction to Mathematical Theory of Computation (Computer Science)
Buy this book at:
Bookshop.org Amazon

Lectures on the logic of computer programming by Zohar Manna

Cover of Lectures on the logic of computer programming
Buy this book at:
Bookshop.org Amazon

Lectures on the Logic of Computer Programming (CBMS-NSF Regional Conference Series in Applied Mathematics) (CBMS-NSF Regional Conference Series in Applied Mathematics) by Zohar Manna

Cover of Lectures on the Logic of Computer Programming (CBMS-NSF Regional Conference Series in Applied Mathematics) (CBMS-NSF Regional Conference Series in Applied Mathematics)
Buy this book at:
Bookshop.org Amazon

Logcl Basis Cmpt Prog V1 by Zohar Manna

Cover of Logcl Basis Cmpt Prog V1
Buy this book at:
Bookshop.org Amazon

Mathematical theory of computation by Zohar Manna

Cover of Mathematical theory of computation
Buy this book at:
Bookshop.org Amazon

Software development technologies for reactive, real-time, and hybrid systems by Zohar Manna

Cover of Software development technologies for reactive, real-time, and hybrid systems
Buy this book at:
Bookshop.org Amazon

STeP, the Stanford Temporal Prover by Zohar Manna

Cover of STeP, the Stanford Temporal Prover
Buy this book at:
Bookshop.org Amazon

Studies in automatic programming logic by Zohar Manna

Cover of Studies in automatic programming logic
Buy this book at:
Bookshop.org Amazon

Temporal verification of reactive systems by Zohar Manna

Cover of Temporal verification of reactive systems
Buy this book at:
Bookshop.org Amazon

Temporal Verification of Reactive Systems by Zohar Manna

Cover of Temporal Verification of Reactive Systems
Buy this book at:
Bookshop.org Amazon

The Calculus of Computation by Aaron R. R. Bradley

Cover of The Calculus of Computation
Buy this book at:
Bookshop.org Amazon

The deductive foundations of computer programming by Zohar Manna

Cover of The deductive foundations of computer programming
Buy this book at:
Bookshop.org Amazon

The logical basis for computer programming by Zohar Manna

Cover of The logical basis for computer programming
Buy this book at:
Bookshop.org Amazon

The temporal logic of reactive and concurrent systems by Zohar Manna

Cover of The temporal logic of reactive and concurrent systems
Buy this book at:
Bookshop.org Amazon

The Temporal Logic of Reactive and Concurrent Systems by Zohar Manna

Cover of The Temporal Logic of Reactive and Concurrent Systems
Buy this book at:
Bookshop.org Amazon

Time for Verification by Zohar Manna

Cover of Time for Verification
Buy this book at:
Bookshop.org Amazon

Comments and reviews of The Calculus of Computation: Decision Procedures with Applications to Verification

Please sign in to leave a comment