Logo

Educated Owl Books
Help Login / SignUp (0)
Sell with us!
The Logical Basis for Computer Programming Vol. I : Deductive Reasoning

The Logical Basis for Computer Programming Vol. I : Deductive Reasoning

by Zohar Manna, Richard Waldinger Hardcover

⭐ 0.0 rating
⭐ 0.0 out of 5 0 global ratings
5 star
65%
4 star
20%
3 star
10%
2 star
3%
1 star
2%
| 📖 0 saved | ✅ 0 verified
  • Author: Zohar Manna, Richard Waldinger
  • ISBN 13: 9780201182606
  • ISBN 10: 0201182602
  • Language: English

Specifications

Index-10 0201182602
Index-13 9780201182606
Language English

✨ Readers also enjoyed...

View All →
Introduction to Mathematical Theory of Computation

Introduction to Mathematical Theor…

Zohar Manna

Inquire
Temporal Verification of Reactive Systems : Safety

Temporal Verification of Reactive …

Zohar Manna, Amir Pnueli

Inquire
The Calculus of Computation : Decision Procedures with Applications to Verification

The Calculus of Computation : Deci…

Aaron R. Bradley, Zohar Manna

Inquire
The Temporal Logic of Reactive Systems Vol. 1 : Specification

The Temporal Logic of Reactive Sys…

Zohar Manna, Amir Pnueli

Inquire
Verification - Theory and Practice : Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday

Verification - Theory and Practice…

Nachum Dershowitz, Zohar Manna

Inquire