Прикладные методы верификации программ В. А. Непомнящий, О. М. Рякин
Сохранить в:
| Автор: | |
|---|---|
| Другие авторы: | |
| Тип документа: | Книга |
| Язык: | Russian |
| Год издания: |
Москва Радио и связь 1988
|
| Рубрика: | |
| Ключевые слова: |