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

Замовлення документа 004 Н53          Непомнящий, В. А.     Прикладные методы верификации программ [Текст] : ред. А. П. Ершов / В. А. Непомнящий, О. М. Рякин. — М. : Радио и связь, 1988. — 255 с.   004.4 ISBN 5-256-00156-6

Шифр читача   Місце видачі   Науковий відділ