| 000 | 00835nam a2200229 a 4500 | ||
|---|---|---|---|
| 003 | AR-LpUFIB | ||
| 005 | 20250311170306.0 | ||
| 008 | 230201s1991 xxu r 000 0 eng d | ||
| 020 | _a0387976647 | ||
| 024 | 8 |
_aDIF-M3219 _b3325 _zDIF003128 |
|
| 040 |
_aAR-LpUFIB _bspa _cAR-LpUFIB |
||
| 100 | 1 | _aManna, Zohar | |
| 245 | 1 | 0 |
_aThe temporal logic of reactive and concurrent systems : _bspecification |
| 250 | _a1st ed. | ||
| 260 |
_aNueva York : _b Springer-Verlag, _c1991 |
||
| 300 |
_axi, 427 p. ; _c24 cm. |
||
| 505 | 0 | _a Part I: Models of concurrency. -- Chapter 1: Basic models. -- Chapter 2: Modeling real concurrency. -- Part II: Specifications. -- Chapter 3: Temporal logic. -- Chapter 4: Properties of programs. | |
| 650 | 4 | _aSISTEMAS REACTIVOS | |
| 650 | 4 | _aMODELO CONCURRENTE | |
| 700 | 1 | _aPnuieli, Amir | |
| 942 | _cBK | ||
| 999 |
_c52977 _d52977 |
||