Зведений каталог бібліотек Львова

 
Пошук Відібрані Опис документа
Початкова сторінка Сайт УФД

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

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

  • УДК // Розробка комп'ютерної системи і програмного забезпечення



Наявність
Установа Кількість Документ на сайті установи
Науково-технічна бібліотека Львівського національного університету «Львівська політехніка» 5 Перейти на сайт