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

Buy 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)

Zohar Manna

See on goodreads | librarything

Recent activity

Rate this book to see your activity here.

17 Books Similar to 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

Bookscovery readers who liked Lectures on the Logic of Computer Programming (CBMS-NSF Regional Conference Series in Applied Mathematics) (CBMS-NSF Regional Conference Series in Applied Mathematics) 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?

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

Zohar Manna

Recent activity

17 Books Similar to 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

Fundamentals of deductive program synthesis by Zohar Manna

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

Lectures on the logic of computer programming by Zohar Manna

Logcl Basis Cmpt Prog V1 by Zohar Manna

Mathematical theory of computation by Zohar Manna

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

STeP, the Stanford Temporal Prover by Zohar Manna

Studies in automatic programming logic by Zohar Manna

Temporal verification of reactive systems by Zohar Manna

Temporal Verification of Reactive Systems by Zohar Manna

The Calculus of Computation by Aaron R. R. Bradley

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

The deductive foundations of computer programming by Zohar Manna

The logical basis for computer programming by Zohar Manna

The temporal logic of reactive and concurrent systems by Zohar Manna

The Temporal Logic of Reactive and Concurrent Systems by Zohar Manna

Time for Verification by Zohar Manna

Comments and reviews of Lectures on the Logic of Computer Programming (CBMS-NSF Regional Conference Series in Applied Mathematics) (CBMS-NSF Regional Conference Series in Applied Mathematics)