Logo

Educated Owl Books
Help Login / SignUp (0)
Sell with us!
Temporal Verification of Reactive Systems : Safety

Temporal Verification of Reactive Systems : Safety

by Zohar Manna, Amir Pnueli Hardcover 1995

⭐ 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, Amir Pnueli
  • ISBN 13: 9780387944593
  • ISBN 10: 0387944591
  • Publication Year: 1995
  • Language: English

Specifications

Index-10 0387944591
Index-13 9780387944593
Language English

✨ Readers also enjoyed...

View All →
Introduction to Mathematical Theory of Computation

Introduction to Mathematical Theor…

Zohar Manna

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

The Calculus of Computation : Deci…

Aaron R. Bradley, Zohar Manna

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

The Logical Basis for Computer Pro…

Zohar Manna, Richard Waldinger

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