| 000 | 01302cam a2200337 i 4500 | ||
|---|---|---|---|
| 001 | xx001642895 | ||
| 003 | NUKAT | ||
| 005 | 20251228162330.0 | ||
| 008 | 990209s1990 gw |100 0 eng c | ||
| 020 |
_a3540521488 _qBerlin |
||
| 020 |
_a0387521488 _qNew York |
||
| 035 | _a(OCoLC)751020038 | ||
| 040 |
_aNUKAT _cWA U/MK _dTOR U/WS |
||
| 245 | 0 | 0 |
_aAutomatic verification methods for finite state systems : _binternational workshop, Grenoble, France, June 12-14, 1989 : proceedings / _cJ. Sifakis (ed.). |
| 260 |
_aBerlin : _bSpringer, _c1990. |
||
| 300 |
_aVII, 382 s. ; _c24 cm. |
||
| 336 | _aTekst | ||
| 337 | _aBez urządzenia pośredniczącego | ||
| 338 | _aWolumin | ||
| 490 | 1 |
_aLecture Notes in Computer Science ; _v407 |
|
| 530 | _aDostępne również w formie elektronicznej. | ||
| 650 | 7 |
_aProtokoły sieci komputerowych _vkonferencje. _2kaba _929609 |
|
| 700 | 1 |
_aSifakis, Joseph _d(1946- ). _eRed. _986387 |
|
| 710 | 2 |
_aSpringer-Verlag (Berlin). _4pbl _997110 |
|
| 830 | 0 |
_aLecture Notes in Computer Science _x0302-9743 _v407 _924125 |
|
| 856 | 4 | 1 |
_uhttps://www.infona.pl/resource/isbn/9783540521488 _zLicencja krajowa |
| 920 |
_a3-540-52148-8 _qBerlin |
||
| 920 |
_a0-387-52148-8 _qNew York |
||
| 999 |
_c65529 _d65529 |
||