|
|
|
|
| LEADER |
01345cam a2200349 ir4500 |
| 001 |
NSK01000731607 |
| 003 |
HR-ZaNSK |
| 005 |
20210302115712.0 |
| 007 |
ta |
| 008 |
100326s2005 gw a 001 0 eng |
| 020 |
|
|
|a 9783540285847
|
| 020 |
|
|
|a 3540285849
|
| 035 |
|
|
|9 (HR-ZaNSK)734220
|
| 035 |
|
|
|a (HR-ZaNSK)000731607
|
| 040 |
|
|
|a HR-ZaNSK
|b hrv
|c HR-ZaNSK
|e ppiak
|
| 080 |
1 |
|
|a 004.42/.43
|2 2011
|
| 080 |
1 |
|
|a (062)
|2 2011
|
| 111 |
2 |
|
|a International Static Analysis Symposium
|n (12 ;
|d 2005 ;
|c London)
|
| 245 |
1 |
0 |
|a Static analysis :
|b proceedings /
|c 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005 ; Chris Hankin, Igor Siveroni (eds.).
|
| 260 |
|
|
|a Berlin ;
|a Heidelberg :
|b Springer,
|c cop. 2005.
|
| 300 |
|
|
|a X, 367 str. :
|b ilustr. ;
|c 24 cm.
|
| 490 |
0 |
|
|a Lecture notes in computer science : LNCS,
|x 0302-9743 ;
|v 3672
|
| 500 |
|
|
|a Puni naziv autora: International Static Analysis Symposium
|
| 504 |
|
|
|a Bibliografija uz svaki rad; bibliografske bilješke uz tekst
|
| 504 |
|
|
|a Kazalo
|
| 505 |
8 |
|
|a Bilješke uz tekst
|
| 650 |
|
7 |
|a Računalno programiranje
|v Kongresi
|2 nskps
|
| 650 |
|
7 |
|a Programski jezici
|v Kongresi
|2 nskps
|
| 700 |
1 |
|
|a Hankin, Chris
|4 edt
|
| 700 |
1 |
|
|a Siveroni, Igor
|4 edt
|
| 760 |
0 |
|
|t Lecture notes in computer science
|w nsk.(HR-ZaNSK)000150006
|
| 998 |
|
|
|m nmrk1004
|m vhop1004
|c rpeo100419
|
