SPESY. Ein interaktives System z. Unterstützung integrierter Programm-Spezifikation u.-Verifikation. Bd 1.
Збережено в:
| Автор: | |
|---|---|
| Формат: | Книга |
| Мова: | Німецька |
| Опубліковано: |
Kaiserslautern
Univ.
1984
|
| Серія: | Fachbereich Informatik, Univ. Kaiserslautern. Interner Bericht
102 |
| Теги: |
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Order eBook: |
|
| Order Book: | Login to order |
Будьте першим, хто залишить коментар!