Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp:
E-Artikel
Titel:
Recent Trends in Algebraic Development Techniques: Use of Patterns in Formal Development: Systematic Transition from Problems to Architectural Designs
Beteiligte:
Choppy, Christine;
Heisel, Maritta
Erschienen:
Springer Berlin Heidelberg, 2003
Erschienen in:Recent Trends in Algebraic Development Techniques