|
|
|
|
| LEADER |
00980cam a2200313 ir4500 |
| 001 |
NSK01000115888 |
| 003 |
HR-ZaNSK |
| 005 |
20210302115043.0 |
| 008 |
950313s1993 xxu 001 0 eng |
| 020 |
|
|
|a 0262231697
|
| 035 |
|
|
|9 (HR-ZaNSK)116019
|
| 035 |
|
|
|9 (HR-ZaNSK)950313050
|
| 035 |
|
|
|a (HR-ZaNSK)000115888
|
| 040 |
|
|
|a HR-ZaNSK
|b hrv
|c HR-ZaNSK
|e ppiak
|
| 041 |
0 |
|
|a eng
|
| 044 |
|
|
|a us
|
| 080 |
1 |
|
|a 004.43
|2 2011
|
| 100 |
1 |
|
|a Winskel, Glynn
|
| 245 |
1 |
4 |
|a The formal semantics of programming languages :
|b an introduction /
|c Glynn Winskel.
|
| 260 |
|
|
|a Cambridge, Mass. ;
|a London :
|b The MIT Press,
|c 1993.
|
| 300 |
|
|
|a XVIII, 361 str. ;
|c 24 cm.
|
| 490 |
0 |
|
|a Foundations of computing
|
| 504 |
|
|
|a Bibliografija: str. 353-356
|
| 504 |
|
|
|a Kazalo
|
| 650 |
|
7 |
|a Programski jezici
|x Semantika
|2 nskps
|
| 760 |
0 |
|
|t Foundations of computing
|w nsk.(HR-ZaNSK)000063020
|
| 998 |
|
|
|c lbar050404
|o d4ui0504
|
| 876 |
|
|
|e KM
|a 134/95
|
| 886 |
0 |
|
|2 unimarc
|b 00755nam2 2200253 450
|
