Dokazatel'stvo pravil'nosti programm
| Permalink: | http://skupni.nsk.hr/Record/fer.KOHA-OAI-FER:25595/Details |
|---|---|
| Glavni autor: | Anderson, Robert B. (-) |
| Ostali autori: | Zobnina, B. N. (Translator) |
| Vrsta građe: | Knjiga |
| Jezik: | rus eng |
| Impresum: |
Moskva :
Mir - Moskva,
1982.
|
| Izdanje: | 1. neprom. izd |
| LEADER | 00571nam a2200193uu 4500 | ||
|---|---|---|---|
| 008 | s1982 ru a |||||||||| ||rus|d | ||
| 035 | |a HR-ZaFER 29950 | ||
| 040 | |a HR-ZaFER |b hrv |c HR-ZaFER | ||
| 041 | 1 | |a rus |h eng | |
| 100 | 1 | |9 27754 |a Anderson, Robert B. | |
| 245 | |a Dokazatel'stvo pravil'nosti programm. | ||
| 250 | |a 1. neprom. izd. | ||
| 260 | |a Moskva : |b Mir - Moskva, |c 1982. | ||
| 300 | |a 163 str. : |b ilustr. ; |c 20 cm. | ||
| 500 | |a Prijevod djela: PROVING PROGRAMS CORRECT | ||
| 700 | |9 27755 |a Zobnina, B. N. |4 trl | ||
| 942 | |b BKS |c K | ||
| 990 | |a 27986 | ||
| 999 | |c 25595 |d 25595 | ||