VLB Suche
Suche in den Daten des Verzeichnisses lieferbarer Bücher (VLB)
Drucken
Suchergebnisse
Produktdetails
- Autor
- Herausgegeben von Wolfgang Bibel, Herausgegeben von Klaus P. Jantke
Mathematical Methods of Specification and Synthesis of Software Systems ‘85
- Untertitel
- Proceedings of the International Spring School, held in Wendisch-Rietz (GDR), April 22–26, 1985
- Verlag
- De Gruyter
- ISBN/EAN
- 978-3-11-273340-0
- Status
- lieferbar
