| 000 | 00868nam a2200241 a 4500 | ||
|---|---|---|---|
| 003 | AR-LpUFIB | ||
| 005 | 20240131183028.0 | ||
| 007 | ta | ||
| 008 | 230201s1991 xxu dr 000 0 eng d | ||
| 020 | _a0387976647 | ||
| 024 | 8 | _aDIF003117 | |
| 040 |
_aAR-LpUFIB _bspa _cAR-LpUFIB |
||
| 100 | 1 |
_aManna, Zohar _9254761 |
|
| 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 _9251707 |
|
| 650 | 4 |
_aMODELO CONCURRENTE _9254768 |
|
| 700 | 1 |
_aPnuieli, Amir _9254762 |
|
| 942 | _cBK | ||
| 999 |
_c845210 _d845210 |
||