Методы и средства построения формальных спецификаций | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Антимиров В. М.

Количество экземпляров:

1

Вид:

Автореферат

Год:

1988

Ключевые слова:

формальная спецификация

Стр.:

16 с.

Библиография:

Библиогр.: c.16

Место защиты:

Номер специальности:

01.01.09

Карточка:

Антимиров В. М..

Методы и средства построения формальных спецификаций: Автореферат диссертации на ученую степень: канд. физ.-мат. наук.: 01.01.09.-Киев, 1988.-16 с.
Библиогр.: c.16