Mathematical methods of specification and synthesis of software systems '85 : proceedings of the international spring school, Wendisch-Rietz, GDR, April 22-26, 1985 /
Сохранить в:
| Другие авторы: | , |
|---|---|
| Формат: | |
| Язык: | English |
| Опубликовано: |
Berlin ; New York :
Springer,
c1986.
|
| Серии: | Lecture notes in computer science ;
215. |
| Предметы: |
| Объем: | 245 p. : ill. ; 25 cm. |
|---|---|
| Библиография: | Includes bibliographies. |
| ISBN: | 0387164448 |