Clicky

Fundamentals of deductive program synthesis by Zohar Manna and similar books you'll love - Bookscovery

Home > Authors > Zohar Manna > Fundamentals of deductive program synthesis

Buy at: Bookshop.org Amazon

Fundamentals of deductive program synthesis

Zohar Manna

Recent activity

Rate this book to see your activity here.

17 Books Similar to Fundamentals of deductive program synthesis by Zohar Manna

Bookscovery readers who liked Fundamentals of deductive program synthesis also like Introduction to Mathematical Theory of Computation (Computer Science), Lectures on the logic of computer programming and Lectures on the Logic of Computer Programming (CBMS-NSF Regional Conference Series in Applied Mathematics) (CBMS-NSF Regional Conference Series in Applied Mathematics). How many of these have you read?

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 Calculus of Computation: Decision Procedures with Applications to Verification by Aaron R. Bradley

Cover of The Calculus of Computation: Decision Procedures with Applications to Verification
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 Fundamentals of deductive program synthesis

Please sign in to leave a comment