Mathematical Methods of Specification and Synthesis of Software Systems´85: Proceedings of the International Spring School, held in Wendisch-Rietz (GDR), April 22-26, 1985 / edited by Wolfgang Bibel, Klaus P. Jantke
Захавана ў:
| Тып дакумента: | |
|---|---|
| Апублікавана: | Berlin : Akademie-Verlag , 1986 |
| Фізіч. характарыстыкі: |
245 s.
|
| Мова: | Нямецкая |
ОФХ отдела книгохранения
| Усяго : 1 , даступна: 1 | Даступна Замовіць | ||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|
|
|||||||||||