Mathematical Logic and programming languages

Permalink: http://skupni.nsk.hr/Record/fer.KOHA-OAI-FER:17124/Details
Glavni autori: Hoare, C.A.R (-), Shepnedson, J.C (Author)
Vrsta građe: Knjiga
Jezik: eng
Impresum: Prentice-Hall, Inc, 1985.
Nakladnička cjelina: Prentice-Hall International Series in Computer Science / Prentice-Hall, Inc..
LEADER 00547nam a2200181uu 4500
008 s1985 xxu |||||||||| ||eng|d
035 |a HR-ZaFER 20309 
040 |a HR-ZaFER  |b hrv  |c HR-ZaFER 
041 |a eng 
100 1 |9 20121  |a Hoare, C.A.R. 
245 |a Mathematical Logic and programming languages. 
260 |b Prentice-Hall, Inc.,  |c 1985. 
300 |c  cm. 
490 |a Prentice-Hall International Series in Computer Science / Prentice-Hall, Inc.. 
700 |9 21373  |a Shepnedson, J.C.  |4 aut 
942 |b BKS  |c K 
990 |a 19443 
999 |c 17124  |d 17124