|
|
|
|
| LEADER |
00928nam a2200253ui 4500 |
| 003 |
HR-ZaFF |
| 008 |
010101s1998 ||| |||||||||| ||eng|d |
| 999 |
|
|
|c 1649
|d 1649
|
| 020 |
|
|
|a 0262720159
|
| 035 |
|
|
|a HR-ZaFF iznL1630
|
| 040 |
|
|
|a HR-ZaFF
|b hrv
|c HR-ZaFF
|e ppiak
|
| 080 |
|
|
|a 004.42:004.423.4(082)=111
|
| 080 |
|
|
|a 004.423.4
|
| 245 |
0 |
0 |
|a Handbook of theoretical computer science :
|b formal models and semantics : volume B /
|c edited by Jan van Leeuwen.
|
| 260 |
|
|
|a Amsterdam [etc.] :
|b Elsevier ;
|a Cambridge, Mass. :
|b The MIT Press [i.e.] Massachusetts Institute of technology,
|c 1998.
|
| 300 |
|
|
|a 1273 str. :
|b graf. prikazi ;
|c 26 cm
|
| 504 |
|
|
|a Bibliografija na kraju poglavlja
|
| 504 |
|
|
|a Kazalo
|
| 653 |
|
|
|a Programska semantika
|
| 653 |
|
|
|a Računalno programiranje
|
| 700 |
0 |
|
|a Leeuwen, Jan van
|
| 942 |
|
|
|b LIB
|c KNJ
|d IZN | 004.42 | HAN
|h BG01.2
|i HAN
|6 BG012_HAN
|
| 991 |
|
|
|a izn541/2000
|
| 992 |
|
|
|a IZ
|b LAJ
|c 2001
|
