Բեռնվում է…
Доказательство правильности программ /
Պահպանված է:
| Հիմնական հեղինակ: | |
|---|---|
| Այլ հեղինակներ: | , |
| Ձևաչափ: | Գիրք |
| Լեզու: | Russian English |
| Հրապարակվել է: |
Москва :
Мир,
1982.
|
| Խորագրեր: | |
| Ցուցիչներ: |
Ավելացրեք ցուցիչ
Չկան պիտակներ, Եղեք առաջինը, ով նշում է այս գրառումը!
|
| LEADER | 00973-am-a2200241-a-4500 | ||
|---|---|---|---|
| 001 | 000087169 | ||
| 003 | AM-YeHGA | ||
| 005 | 20230404182515.0 | ||
| 008 | 970708s1982 ru ||||| |||| 00| 0 rus d | ||
| 040 | |a AM-YEHGA |c AM-YeHGA | ||
| 041 | 1 | |a rus |h eng | |
| 100 | 1 | |a Андерсон, Роберт | |
| 245 | 1 | 0 | |a Доказательство правильности программ / |c Р. Андерсон; Пер. с англ. Б.Н. Зобниной ; Под ред. Д.Б. Подшивалова. |
| 260 | |a Москва : |b Мир, |c 1982. | ||
| 300 | |a 163 с. ; |c 20 см. | ||
| 534 | |p Оригинал на англ. : |t Proving Pprograms Correct / |a Robert B. Anderson - |c New York : 1979 | ||
| 650 | 1 | 4 | |a Цифровые вычислительные машины |
| 700 | 1 | |a Зобнина, Б.Н. |e пер. |4 trl | |
| 700 | 1 | |a Подшивалов, Д.Б. |e ред. |4 edt | |
| 942 | |2 udc |c BK | ||
| 999 | |c 27882 | ||
| 952 | |o PII/479870 |p FL0284641 | ||
| 952 | |o PII/481457 |p FL0281498 | ||