| 000 | 02001nam a2200505 i 4500 | ||
|---|---|---|---|
| 001 | 9405 | ||
| 003 | KOSZ 005 | ||
| 005 | 20210427123217.0 | ||
| 008 | 000114s1980 pl a f |000 0 pol | ||
| 015 | _aUWD 1981/4322 | ||
| 035 | _a991012582259705066 | ||
| 035 | _a(PL-WaBN)b13403497-48omnis_nlop | ||
| 035 | _ab13403497 | ||
| 035 | _a(OCoLC)830198236 | ||
| 035 | _a(PL)b0000001340349 | ||
| 035 | _a(EXLNZ-48OMNIS_NETWORK)9910089519305606 | ||
| 040 |
_aWA N _cWA N _dKR U _dKOSZ 005/HR |
||
| 041 | 0 |
_apol _brus _beng _geng |
|
| 046 | _k1980 | ||
| 080 | _a004.423.2 | ||
| 080 | _a004.438 | ||
| 100 | 1 |
_aŁukasiewicz, Andrzej _eAutor |
|
| 245 | 1 | 0 |
_aMetoda automatycznej konstrukcji analizatora składniowego dla języków generowanych przez gramatykę afiksową / _cA. Łukasiewicz. Logical values equivalences in fault test generation / J[an] M[ichał] Klimowicz ; Zjednoczenie Przemysłu Automatyki i Aparatury Pomiarowej "MERA" ; Instytut Maszyn Matematycznych. |
| 260 |
_aWarszawa : _bIMM, _c1980. |
||
| 300 |
_a[2], 95 s. : _bil. ; _c28 cm. |
||
| 336 |
_aTekst _btxt _2rdacontent |
||
| 337 |
_aBez urządzenia pośredniczącego _bn _2rdamedia |
||
| 338 |
_aWolumin _bnc _2rdacarrier |
||
| 380 | _aKsiążki | ||
| 380 | _aPublikacje naukowe | ||
| 388 | _a1901-2000 | ||
| 388 | _a1945-1989 | ||
| 490 | 1 | _aPrace Naukowo-Badawcze Instytutu Maszyn Matematycznych | |
| 504 | _aBibliogr. s. 87, 92. | ||
| 650 | 7 |
_aJęzyki programowania _2DBN |
|
| 650 | 7 | _aGramatyka | |
| 650 | 7 | _aSkładnia | |
| 658 | _aInformatyka i technologie informacyjne | ||
| 700 | 1 | 2 |
_aKlimowicz, Jan Michał _eAutor _tLogical values equivalences in fault test generation |
| 740 | 0 | 2 | _aLogical values equivalences in fault test generation |
| 830 | 0 | _aPrace Naukowo-Badawcze Instytutu Maszyn Matematycznych | |
| 856 |
_uhttp://koha.tu.koszalin.pl/cgi-bin/koha/opac-detail.pl?biblionumber=9405 _yKatalog online BPK |
||
| 942 |
_2UKD _cKS |
||
| 999 |
_c9405 _d9405 |
||