Dokazatel'stvo pravil'nosti programm
| Permalink: | http://skupni.nsk.hr/Record/kon.ZAG01000205439/Details |
|---|---|
| Glavni autor: | Anderson, Robert B (-) |
| Vrsta građe: | Knjiga |
| Jezik: | rus |
| Impresum: |
Moskva :
Mir,
1982.
|
| Predmet: |
| LEADER | 00861nam 2200277 i 4500 | ||
|---|---|---|---|
| 001 | ZAG01000205439 | ||
| 003 | HR-ZaZAG | ||
| 005 | 20100906 | ||
| 008 | 100515s1982 ru |||| | ||| 0|rus d | ||
| 035 | |a (HR-ZaZAG)000205439 | ||
| 040 | |a HR-ZaKON |b hrv |c HR-ZaKON |e ppiak | ||
| 100 | 1 | |a Anderson, Robert B | |
| 245 | 1 | 0 | |a Dokazatel'stvo pravil'nosti programm / |c R. Anderson ; perev. s angl. B. N. Zobninoj ; pod red. D. B. Podšivalova. |
| 260 | |a Moskva : |b Mir, |c 1982. | ||
| 300 | |a 163 str. ; |c 20 cm. | ||
| 500 | |a Prijevod djela: Proving programs correct. - New York... [etc.] : John Wiley & Sons, 1979 | ||
| 504 | |a Kazalo | ||
| 504 | |a Bibliografija: str. 154-159 | ||
| 653 | |a programiranje | ||
| OWN | |a KON | ||
| SRC | |a KON | ||
| 852 | 4 | |j III/8045 | |
| 876 | |a 15393 | ||
| 886 | 0 | |2 unimarc |b 00657nam0 2200205 4500 | |