Основное заглавие: Синтез, тестирование, верификация и отладка программ
Сведения, относящ. к заглавию: тезисы докладов всесоюзной научной конференции, Рига, 22-24 сентября 1981 г.
Ответственность: [редкол.: Я. М. Барздинь и др.] ; М-во высш. и сред. спец. образования ЛатвССР, Латв. гос. ун-т им. Петра Стучки, ВЦ
Физический носитель: текст
Год публикации: 1981
Место издания: Рига
Издательство: ЛГУ
Объем: 235 с.
Ключевые слова: Цифровые вычислительные машины; Программирование;
Библиография: Библиогр. в конце докл.
№ | Инвентарный номер |
Сигла | Статус | Дата возврата |
---|---|---|---|---|
1 | 1998855 | кх | Доступна | - |
При использовании данного сайта, вы подтверждаете свое согласие на использование файлов «cookie» и других похожих технологий, а также платформы для связи с клиентами Jivo и сервиса «Яндекс. Метрика», «Яндекс Метрика для приложений» (AppMetrica), которое является частью политики ГБУК «СОУНБ» в отношении обработки персональных данных . Вы всегда можете отключить Cookie-файлы в настройках Вашего браузера