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
| ISBN: | 9783112733400 |
|---|---|
| Sprache: | Englisch |
| Produktart: | Gebunden |
| Herausgeber: | Bibel, Wolfgang Jantke, Klaus P. |
| Verlag: | De Gruyter |
| Veröffentlicht: | 31.12.1986 |
| Untertitel: | Proceedings of the International Spring School, held in Wendisch-Rietz (GDR), April 22–26, 1985 |
| Schlagworte: | COM014000 COMPUTERS / Computer Science Computer Programming / Software Development Informatik |
Anmelden