| 000 | 01387cam a2200361 i 4500 | ||
|---|---|---|---|
| 001 | zz2007890384 | ||
| 003 | NUKAT | ||
| 005 | 20251228144017.0 | ||
| 008 | 071024s2006 pl a |000 0 eng c | ||
| 035 | _a(OCoLC)749887767 | ||
| 040 |
_aSZCZ M/KB _cSZCZ M/KB _dKR U/EPl _dKR U/BMigs |
||
| 041 | 0 |
_aeng _bpol |
|
| 100 | 1 |
_aOrzechowski, Maciej. _959503 |
|
| 245 | 1 | 0 |
_aTowards verification of Java programs in VerICS / _cMaciej Orzechowski, Bożena Woźna and Tomasz Siwiak. |
| 260 |
_aWarszawa : _bInstytut Podstaw Informatyki Polskiej Akademii Nauk, _c2006. |
||
| 300 |
_a33, [1] s. : _bil. ; _c21 cm. |
||
| 336 | _aTekst | ||
| 337 | _aBez urządzenia pośredniczącego | ||
| 338 | _aWolumin | ||
| 490 | 1 |
_aPrace IPI PAN = _aICS PAS Reports, _x0138-0648 ; _vnr 997 |
|
| 500 | _aPraca wydana w czasopiśmie: Prace IPI PAN / Instytut Podstaw Informatyki Polskiej Akademii Nauk ; nr 997. | ||
| 504 | _aBibliogr. s. 30-33. | ||
| 506 | _aNa prawach rękopisu. | ||
| 546 | _aStreszcz. pol. | ||
| 650 | 7 |
_aJava (język programowania). _2kaba _9193087 |
|
| 650 | 7 |
_aPrzetwarzanie rozproszone. _2kaba _918413 |
|
| 650 | 7 |
_aTeoria automatów. _2kaba _94176 |
|
| 700 | 1 |
_aWoźna-Szcześniak, Bożena. _928249 |
|
| 700 | 1 |
_aSiwiak, Tomasz. _959504 |
|
| 830 | 0 |
_aPrace IPI PAN _x0138-0648 _v997 _964274 |
|
| 999 |
_c40722 _d40722 |
||