Сайт бібліотеки  >  Електронний каталог  >  Опис документа

Опис документа

Замовити

Шифр:  004  Авторський знак:  Н53 
Непомнящий В. А., Рякин О. М.
Прикладные методы верификации программ

Вид документа:  Книга 
Рік видання:  1988  Місце видання:  М.  Видавництво:  Радио и связь 
Мова:  Російська  Обсяг:  255 с. 
УДК:  004.4  ISBN:  5-256-00156-6 

Примірники
Місце збереження	Кількість	В наявностi
Відділ наукової літератури	2	2

Теми документа

• УДК/6 Прикладнi науки. Медицина. Техніка/68 Галузі промисловості та ремесла, що виробляють готову продукцію/681 Точна механіка та автоматика/681.3 Обладнання для обробки даних

Статистика використання: Видач: 0

Замовити