Bibel, Wolfgang (Hrsg.)
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
Beschreibung
Produktdetails
| ISBN/GTIN | 978-3-11-273341-7 |
|---|---|
| Seitenzahl | 250 S. |
| Kopierschutz | mit Wasserzeichen |
| Dateigröße | 47303 Kbytes |