| 000 | 01278cam a2200265 a 4500 | ||
|---|---|---|---|
| 001 | 4750300 | ||
| 003 | GR-PaULI | ||
| 005 | 20210117203643.0 | ||
| 008 | 850411s1985 gw a 100 0 eng | ||
| 020 |
_a0387151818 _q(U.S.) |
||
| 040 |
_aDLC _cDLC _d _bgre _eAACR2 |
||
| 082 | 0 | 0 |
_a004.35 _223 |
| 111 |
_aNATO Advanced Study Institute on Logics and Models of Concurrent Systems _d(1984 : _cLa Colle-sur-Loup, France) _9165176 |
||
| 245 | 1 | 0 |
_aLogics and models of concurrent systems / _cedited by Krzysztof R. Apt. |
| 260 |
_aBerlin ; _aNew York : _bSpringer-Verlag, _cc1985. |
||
| 300 |
_aviii, 498 σ. : _bεικ. ; _c25 εκ. |
||
| 490 | 1 |
_aNATO ASI series. Series F, Computer and system sciences ; _v13. |
|
| 500 | _a"Proceedings of the NATO Advanced Study Institute on Logics and Models of Concurrent Systems held at La Colle-sur-Loup, France, 8-19 October 1984"--T.p. verso. | ||
| 650 | 4 |
_aΠαράλληλη επεξεργασία (Ηλεκτρονικοί υπολογιστές) _94430 |
|
| 700 | 1 |
_aApt, Krzysztof R., _d1949- _9165177 |
|
| 710 | 2 |
_aNorth Atlantic Treaty Organization. _bScientific Affairs Division _9535 |
|
| 830 |
_aNATO ASI series. _nSeries F, _pComputer and systems sciences _v13. _9163532 |
||
| 942 |
_2ddc _cBKN |
||
| 998 |
_cΜΠΟΥΡΑΣ _d2017-10 |
||
| 999 |
_c80378 _d80378 |
||