|
|
|
|
| LEADER |
00000cam a2200000 i 4500 |
| 001 |
in00000246000 |
| 005 |
20260809114247.4 |
| 008 |
120511s1978 fr a g |001 0 fre c |
| 020 |
|
|
|a 2040105166
|
| 035 |
|
|
|a xx002487146
|
| 035 |
|
|
|a (GDPAN)vtls000213273
|
| 039 |
|
9 |
|a 202501200337
|b VLOAD
|y 202112170811
|z catrk
|
| 040 |
|
|
|a KAT U/AM
|c KAT U/AMmok
|d KAT U/AM
|
| 100 |
1 |
|
|a Livercy, C.
|0 n2012105092
|9 3122a9dd-5912-4210-8756-1d2262f19a5d
|
| 245 |
1 |
0 |
|a Théorie des programmes :
|b schémas, preuves, sémantique /
|c par C. Livercy ; nom coll. de: Jean-Pierre Finance [et al.] ; préface C. Pair.
|
| 260 |
|
|
|a Paris :
|b Dunod,
|c 1978.
|
| 300 |
|
|
|a XII, 328 s. :
|b il. ;
|c 24 cm.
|
| 336 |
|
|
|a Tekst
|b txt
|2 rdacontent
|
| 337 |
|
|
|a Bez urządzenia pośredniczącego
|b n
|2 rdamedia
|
| 338 |
|
|
|a Wolumin
|b nc
|2 rdacarrier
|
| 490 |
1 |
|
|a Dunod Informatique. Phase Formation
|
| 504 |
|
|
|a Indeks.
|
| 650 |
|
|
|a Informatyka.
|0 s94310118
|9 c6cde09a-73d6-45ca-8130-692003fed739
|
| 700 |
1 |
|
|a Finance, Jean-Pierre.
|0 n99042581
|9 05ca60b9-3326-486e-876c-c3ad4a020656
|
| 700 |
1 |
|
|a Pair, Claude
|d (1934- ).
|e Przedm.
|0 n2005119927
|9 f968764a-de8a-4475-8684-9de7f76e3b94
|
| 710 |
2 |
|
|a Dunod (Paryż).
|4 pbl
|0 n2011047110
|9 f2cf7136-90ce-44ba-ad0a-4babd515889b
|
| 830 |
|
0 |
|a Dunod Informatique.
|p Phase Formation
|x 0154-5450
|
| 920 |
|
|
|a 2-04-010516-6
|
| 993 |
|
|
|a (OCoLC)805089400
|
| 999 |
|
|
|a VIRTUA
|
| 999 |
f |
f |
|i 19fd7f46-503f-4df4-b53e-dc8149563da4
|s e7f05d81-e21e-4489-8758-f8d66b1f517b
|t 0
|
| 952 |
f |
f |
|p Do wypożyczenia
|a Biblioteka Gdańska PAN
|b Gdańsk
|c Nowy Gmach
|d Magazyn NG
|t 0
|e 73535 W
|h Według sygnatur
|i Książka
|m 1000153684
|