logo
Wrong email address or username
Wrong email address or username
Incorrect verification code
The Calculus of Computation: Decision Procedures with Applications to Verification - Aaron R. Bradley, Zohar Manna
The Calculus of Computation: Decision Procedures with Applications to Verification
by: (author) (author)
Format: hardcover
ISBN: 9783540741121 (3540741127)
Publisher: Springer
Pages no: 366
Edition language: English
Category:
Philosophy, Logic
Bookstores:
Other editions (3)
The Calculus of Computation: Decision Procedures with Applications to Verification - Aaron R. Bradley, Zohar Manna
The Calculus of Computation: Decision Procedures with Applications to Verification - Aaron R. Bradley, Zohar Manna
The Calculus of Computation: Decision Procedures with Applications to Verification - Aaron R. Bradley, Zohar Manna
Books by 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) - Zohar Manna
Studies in Automatic Programming Logic -... Studies in Automatic Programming Logic - Zohar Manna
The Deductive Foundations of Computer Programming - Zohar Manna
The Calculus of Computation: Decision Procedures with Applications to Verification - Aaron R. Bradley, Zohar Manna
The Logical Basis for Computer Programmi... The Logical Basis for Computer Programming, Volume 1 (Paperback) - Zohar Manna, Richard Waldinger
Mathematical Theory of Computation - Zohar Manna
Time for Verification: Essays in Memory of Amir Pnueli - Zohar Manna, Doron A. Peled
The Temporal Logic of Reactive and Concurrent Systems: Specification - Zohar Manna, Amir Pnueli
Books by Aaron R. Bradley
The Calculus of Computation: Decision Procedures with Applications to Verification - Aaron R. Bradley, Zohar Manna
Instagram Marketing Mastery: The Ultimate Guide To Building Your Brand And Gaining Active Engaged Followers Harnessing The Power Of Instagram (Instagram, ... web marketing, social media, web 2.0) - Aaron Bradley
Twitter For Business: The Ultimate Guide To Building a Profitable Business Leveraging The Power Of Twitter Marketing (Twitter, Twitter Marketing, Twitter ... Search, Twitter Guide For Small Business,) - Aaron Bradley
Programming for Engineers: A Foundational Approach to Learning C and Matlab - Aaron R. Bradley
Share this Book
Copyright © 2025 BookLikes Press About Terms of Services Privacy Policy Contact Us Blog FAQ Patronaty medialne BookLikes for Authors Partners panel Team Themes Docs API Blogs
Need help?
Important: Our sites use cookies. We use the information stored using cookies and similar technologies for advertising and statistics purposes. Stored data allow us to tailor the websites to individual user's interests. Cookies may be also used by third parties cooperating with BookLikes, like advertisers, research companies and providers of multimedia applications. You can choose how cookies are handled by your device via your browser settings. If you choose not to receive cookies at any time, BookLikes will not function properly and certain services will not be provided. For more information, please go to our Privacy Policy.