Llwytho...
The temporal logic of reactive and concurrent systems/specification
| Prif Awdur: | zohar Manna,Amir Phueli |
|---|---|
| Fformat: | Printed Book |
| Iaith: | English |
| Cyhoeddwyd: |
Springer-Verlag
1992
|
Eitemau Tebyg
-
The Temporal logic of reactive and concurrent systems
gan: Manna, Zohar, et al.
Cyhoeddwyd: (1992) -
Logics and models of concurrent systems
gan: Krysztof R Apt
Cyhoeddwyd: (1985) -
Understanding concurrent systems /
gan: Roscoe, A. W.
Cyhoeddwyd: (2010) -
The logical basis for computer programming
gan: Zohar Manna ,Richard Waldinger
Cyhoeddwyd: (1985) -
Logical Basis for Computer Programming
gan: Zohar Manna, Richard Waldinger
Cyhoeddwyd: (1990)