Projekte pro Jahr
Originalsprache | englisch |
---|---|
Titel | Mathematical Frameworks for Component Software: Models for Analysis and Synthesis |
Herausgeber (Verlag) | World Scientific |
Seiten | 69-118 |
Band | 2 |
Auflage | 1 |
ISBN (Print) | 981-270-017-X |
Publikationsstatus | Veröffentlicht - 2006 |
Publikationsreihe
Name | Series on Component-Based Software Development |
---|---|
Herausgeber (Verlag) | World Scientific |
Projekte
- 1 Laufend
-
Formale Methoden
Lucas, P., Lorber, F. L., Jöbstl, E. & Aichernig, B.
1/01/95 → …
Projekt: Arbeitsgebiet