Електронний каталог науково-технічної бібліотеки
Вінницького національного технічного університету

ПРАВИЛА КОРИСТУВАННЯ ЕК
Пошук Відібрані Формуляр Опис документа
Сайт бібліотеки Сайт ВНТУ
681.32
L 34          Larsen, P.
    Towards Proof Rules for the Full Standard VDM Specification Language [Текст] / P. Larsen. – Odense : ІFAD, 1995. – 181s.

ISBN 87-89112-29-6  УДК 681.32


            


Примірники
Місце збереження Кількість В наявностi
704 - ч/з наук. літ., економ.та 1 1


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


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





Український Фондовий Дім Інформаційно-пошукова система
'УФД/Бібліотека'