logo
Wrong email address or username
Wrong email address or username
Incorrect verification code

Zohar Manna's Books back

language per page order
The Logical Basis for Computer Programming, Volume 1 (Paperback) - Zohar Manna, Richard Waldinger
The Logical Basis for Computer Programming, Volume 1 (Paperback)
by Zohar Manna (author), Richard Waldinger (author)
publisher: Addison-Wesley Professional publish date: September 1st 2008
format: paperback pages: 632
language: English
ISBN: 0768682185 (9780768682182)
Mathematical Theory of Computation - Zohar Manna
Mathematical Theory of Computation
by Zohar Manna (author)
publisher: Dover Publications publish date: December 24th 2003
format: paperback pages: 480
language: English
ISBN: 0486432386 (9780486432380)
Time for Verification: Essays in Memory of Amir Pnueli - Zohar Manna, Doron A. Peled
Time for Verification: Essays in Memory of Amir Pnueli
by Zohar Manna (author), Doron A. Peled (author)
publisher: Springer publish date: June 30th 2010
format: paperback pages: 413
language: English
ISBN: 3642137539 (9783642137532)
The Temporal Logic of Reactive and Concurrent Systems: Specification - Zohar Manna, Amir Pnueli
The Temporal Logic of Reactive and Concurrent Systems: Specification
by Amir Pnueli (author), Zohar Manna (author)
publisher: Springer publish date: December 15th 1991
format: hardcover
language: English
ISBN: 0387976647 (9780387976648)
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
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 (author)
format: paperback pages: 53
ISBN: 0898711649 (9780898711646)
Studies in Automatic Programming Logic - Zohar Manna
Studies in Automatic Programming Logic
by Zohar Manna (author)
publisher: North-Holland
format: hardcover pages: 192
language: English
ISBN: 0444002251 (9780444002259)
The Deductive Foundations of Computer Programming - Zohar Manna
The Deductive Foundations of Computer Programming
by Zohar Manna (author)
publisher: Addison-Wesley Professional publish date: February 28th 1993
format: paperback pages: 736
language: English
ISBN: 0201548860 (9780201548860)
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 Zohar Manna (author), Aaron R. Bradley (author)
publisher: Springer publish date: September 3rd 2007
format: hardcover pages: 366
language: English
ISBN: 3540741127 (9783540741121)
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.