Доказательство правильности программ
| Главный автор: | |
|---|---|
| Формат: | |
| Язык: | Undetermined |
| Опубликовано: |
М
Мир
1982
|
MARC
| LEADER | 00000nam a2200000Ia 4500 | ||
|---|---|---|---|
| 008 | 200511s9999||||xx |||||||||||||| ||und|| | ||
| 016 | 3 | 9 | |
| 084 | |a 32.973 |b А 65 |2 NNA | ||
| 100 | |a Андерсон Р. | ||
| 245 | 0 | |a Доказательство правильности программ |c Пер. с англ. Б.Н.Зобниной | |
| 260 | |c 1982 |a М |b Мир | ||
| 300 | |a 168 | ||
| 546 | |a Орос | ||
| 942 | |c BK | ||
| 952 | |0 0 |1 0 |2 NNA |4 0 |6 35800 |7 0 |9 324065 |a URNU |b URNU |c 2 |d 2021-07-24 |e Khudaldaa |g 3.00 |l 0 |o 35800 |p 005020035800 |r 2021-07-24 |w 2020-05-11 |y BK | ||
| 999 | |c 153255 |d 153312 | ||