Loading...
The temporal logic of reactive and concurrent systems/specification
| Main Author: | zohar Manna,Amir Phueli |
|---|---|
| Format: | Printed Book |
| Language: | English |
| Published: |
Springer-Verlag
1992
|
Similar Items
-
The Temporal logic of reactive and concurrent systems
by: Manna, Zohar, et al.
Published: (1992) -
Logics and models of concurrent systems
by: Krysztof R Apt
Published: (1985) -
Understanding concurrent systems /
by: Roscoe, A. W.
Published: (2010) -
The logical basis for computer programming
by: Zohar Manna ,Richard Waldinger
Published: (1985) -
Logical Basis for Computer Programming
by: Zohar Manna, Richard Waldinger
Published: (1990)