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 |