Բեռնվում է…
Синтез, тестирование, верификация и отладка программ : Тезисы докладов всесоюзной научной конференции, Рига, 22-24 сентября 1981 г. /
Պահպանված է:
| Համատեղ հեղինակ: | |
|---|---|
| Այլ հեղինակներ: | |
| Ձևաչափ: | Գիրք |
| Լեզու: | Russian |
| Հրապարակվել է: |
Рига :
Латвийского гос. ун-та,
1981.
|
| Խորագրեր: | |
| Ցուցիչներ: |
Ավելացրեք ցուցիչ
Չկան պիտակներ, Եղեք առաջինը, ով նշում է այս գրառումը!
|
| LEADER | 01208nam a2200217 a 4500 | ||
|---|---|---|---|
| 001 | 000174553 | ||
| 003 | AM-YeHGA | ||
| 005 | 20231109100413.0 | ||
| 008 | 950720s1981 lv |||||||||||||||0|rus|d | ||
| 040 | |a AM-YEHGA |c AM-YeHGA | ||
| 041 | 0 | |a rus | |
| 245 | 0 | 0 | |a Синтез, тестирование, верификация и отладка программ : |b Тезисы докладов всесоюзной научной конференции, Рига, 22-24 сентября 1981 г. / |c [Редкол.: Я.М. Барздинь (отв. ред.) и др.]. |
| 260 | |a Рига : |b Латвийского гос. ун-та, |c 1981. | ||
| 300 | |a 235 с. ; |c 20 см. | ||
| 500 | |a В надзаг.: М-во высш. и сред. спец. образования ЛатвССР, Петра Стучки, ВЦ | ||
| 650 | 1 | 4 | |a Цифровые вычислительные машины - Программирование - Тезисы докладов |
| 700 | 1 | |a Барздинь, Ян Мартынович |e ред. |4 edt | |
| 710 | 2 | |a Латвийский гос. ун-т им. Петра Стучки. Вычислительный центр | |
| 942 | |2 udc |c BK | ||
| 999 | |c 60899 | ||
| 952 | |o PII/472486 |p FL0297966 | ||