Algebraic methodology and software technology
: 5th international conference ; proceedings / AMAST '96, Munich, Germany, July 1 - 5, 1996. Martin Wirsing ; Maurice Nivat (ed.). - Berlin : Springer, 1996. - XII, 640 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1101)
ISBN 978-3-540-61463-0 / 3-540-61463-X kart. : DM 126.00
Literaturangaben
Quelle: DNB
Radical innovations of software and systems engineering in the future
: 9th international workshop ; revised papers / RISSEF 2002, Venice, Italy, October 7 - 11, 2002. Martin Wirsing ... (ed.). - Berlin : Springer, 2004. - Online-Ressource - (Lecture notes in computer science; 2941)
ISBN 978-3-540-24626-8
Lizenzpflichtig
Quelle: DNB
Recent trends in algebraic development techniques
: 16th international workshop ; revised selected papers / WADT 2002, Frauenchiemsee, Germany, September 24 - 27, 2002. Martin Wirsing ... (ed.). - Berlin : Springer, 2003. - Online-Ressource - (Lecture notes in computer science; 2755)
ISBN 978-3-540-40020-2
Lizenzpflichtig
Quelle: DNB
Software intensive systems and new computing paradigms
: challenges and visions / Martin Wirsing ... (ed.). - Berlin : Springer, 2008. - X, 265 S. : Ill., graph. Darst.; 24 cm - (Lecture notes in computer science; 5380)
ISBN 978-3-540-89436-0 kart. : EUR 45.96 (freier Pr.), sfr 71.50 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
