01403nam a22003857a 4500 000021173 CZ-PrVSE 20040809140519.0 030707s1972 xxu 000|0 eng | 0-13-329060-3 (váz.) ABA006 cze ABA006 ABA006 eng xxu 004.43 MRF 004.4`4 MRF 004.4RUS Formal semantics of programming languages : Courant Computer Science Symposium 2, September 14-16, 1970 / edited by Randall Rustin Englewood Cliffs : Prentice-Hall, c1972 248 s. : il. Prentice-Hall series in automatic computation Obsahuje bibliografii algoritmy ph114026 czenas programovací jazyky ph115890 czenas sémantika ph117272 czenas sborníky fd163935 czenas algorithms eczenas programming languages eczenas semantics eczenas Rustin, Randall edt Courant Computer Science Symposium (2 : 1970 : New York) Prentice-Hall series in automatic computation 003829994 PDPZ2 F131323 PC=3064/74 3142170561 20030807 004.4RUS 81 UEP01 BOOK Knihovna Žižkov depoz. 2 na 1 měsíc UEP01 20040809