Բեռնվում է…
Проблемы совершенствования синтеза, тестирования, верификации и отладки программ : Тезисы докладов всесоюзной научной конференции, Рига, 12-14 ноября 1986 г. /
Պահպանված է:
Համատեղ հեղինակ: | |
---|---|
Այլ հեղինակներ: | |
Ձևաչափ: | Գիրք |
Լեզու: | Russian |
Հրապարակվել է: |
Рига :
ЛГУ,
1986.
|
Խորագրեր: | |
Ցուցիչներ: |
Ավելացրեք ցուցիչ
Չկան պիտակներ, Եղեք առաջինը, ով նշում է այս գրառումը!
|
LEADER | 01400nam a22002657a 4500 | ||
---|---|---|---|
001 | 000157138 | ||
003 | AM-YEHGA | ||
005 | 20230411134745.0 | ||
008 | 000322s1986 lv ||||| |||| 00| 0 rus d | ||
040 | |a AM-YEHGA |c AM-YeHGA | ||
041 | 0 | |a rus | |
245 | 0 | 0 | |a Проблемы совершенствования синтеза, тестирования, верификации и отладки программ : |b Тезисы докладов всесоюзной научной конференции, Рига, 12-14 ноября 1986 г. / |c [Редкол.: Я.М. Барздинь (отв. ред.) и др.]. |
260 | 0 | |a Рига : |b ЛГУ, |c 1986. | |
300 | |a Т. | ||
500 | |a В надзаг.: М-во высш. и сред. спец. образования ЛатвССР, Латв. гос. ун-т им. П. Стучки, ВЦ | ||
505 | 0 | 0 | |g Т. 1 (1986, 155 c.) |g Т. 2 (1986, 155 c.) |
650 | 1 | 4 | |a Цифровые вычислительные машины |x Программирование |
700 | 1 | 0 | |a Барздинь, Ян Мартынович |4 edt |e ред. |
710 | 2 | |a Латвийский гос. ун-т им. Петра Стучки. Вычислительный центр | |
942 | |c BK | ||
999 | |c 54379 | ||
952 | |h Т. 1 |o PII/561633 |p FL0122213 | ||
952 | |h Т. 1 |o PII/566603 |p FL0112636 | ||
952 | |h Т. 1 |o PII/566604 |p FL0112658 | ||
952 | |h T. 2 |l 0 |o PII/561634 |p FL0122214 |