Опис документа:
| |
Шифр: |
Д |
Авт. знак: |
8366 |
Автор: | Антимиров В.М. |
Назва: | Методы и средства построения формальных спецификаций |
Від. щодо назв.: |
дис... канд. физ.-мат. наук: 01.01.09 |
Відповідальність: |
В.М. Антимиров ; МВ и ССО РСФСР, Моск. физ.-техн. ин-т |
Місто: | Киев |
Рік: | 1987 |
Сторінок: | 175 с. |
ББК: |
В18+З973.2-018 |
Тип документу: |
Дисертація |
Пошук: заповніть хоча б одне з полів
|
|