Studies in automatic programming logic
48 min read
Rate this book:
Buy This Book
As an Amazon Associate and Bookshop.org affiliate, BookOrb earns from qualifying purchases.
Know this book?
Help other readers discover this title by sharing your thoughts. Be the first to write a review.
Share Your Thoughts
Sign in to write a review.
More by Zohar Manna
Fundamentals of deductive prog
Fundamentals of deductive program synthesis
Introduction to Mathematical T
Introduction to Mathematical Theory of Computation (Computer Science)
Lectures on the logic of computer programming
Lectures on the Logic of Computer Programming (CBMS-NSF Regional Conference Series in Applied Mathematics) (CBMS-NSF Regional Conference Series in Applied Mathematics)
Logcl Basis Cmpt Prog V1
Logcl Basis Cmpt Prog V1
Mathematical theory of computation