Loading...
The Temporal logic of reactive and concurrent systems
| Main Authors: | , |
|---|---|
| Format: | Printed Book |
| Published: |
New York, Springer Verlag
1992
|
| Subjects: |
| LEADER | 005280000a22001690004500 | ||
|---|---|---|---|
| 020 | |a 3-540-97664-7 | ||
| 082 | |a 005.1 N2 | ||
| 100 | |a Manna, Zohar | ||
| 100 | |a Pnueli, Amir | ||
| 245 | |a The Temporal logic of reactive and concurrent systems | ||
| 260 | |a New York, Springer Verlag | ||
| 260 | |c 1992 | ||
| 650 | |a Electronic digital computers | ||
| 650 | |a Programming | ||
| 942 | |c BK | ||
| 999 | |c 13701 |d 13701 | ||
| 952 | |0 0 |1 0 |4 0 |6 005_100000000000000_N2 |7 0 |8 ENG |9 13502 |a MGUL |b MGUL |d 2013-07-16 |l 0 |o 005.1 N2 |p 23151 |r 2013-07-16 |w 2013-07-16 |y BK | ||