Bollig, Benedikt: Formal models of communicating systems
: languages, automata, and monadic second-order logic ; with 6 tables / Benedikt Bollig. - Berlin : Springer, 2006. - IX, 181 S. : graph. Darst.; 24 cm
ISBN 978-3-540-32922-0 / 3-540-32922-6 Pp. : EUR 53.45 (freier Pr.), ca. sfr 85.00 (freier Pr.)
Literaturverz. S, 165 - 171
Quelle: DNB Verlagsmeldungen
Scenarios: models, transformations and tools
: international workshop Dagstuhl Castle, Germany, September 7 - 12, 2003 ; revised selected papers / Stefan Leue ... (ed.). - Berlin : Springer, 2005. - Online-Ressource - (Lecture notes in computer science; 3466)
ISBN 978-3-540-32032-6
Lizenzpflichtig
Quelle: DNB
Scenarios: models, transformations and tools
: international workshop Dagstuhl Castle, Germany, September 7 - 12, 2003 ; revised selected papers / Stefan Leue ; Tarja Johanna Systä (ed.). - Berlin : Heidelberg ; New York : Springer, 2005. - XII, 277 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 3466)
ISBN 978-3-540-26189-6 / 3-540-26189-3 kart.
Literaturangaben
Quelle: DNB
System analysis and modeling
: revised selected papers / 4th International SDL and MSC Workshop, SAM 2004, Ottawa, Canada, June 1 - 4, 2004. Daniel Amyot ; Alan W. Williams (ed.). - Berlin : Springer, 2005. - XII, 300 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 3319)
ISBN 978-3-540-24561-2 / 3-540-24561-8 kart. : EUR 51.36 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Telecommunications and beyond: the broader applicability of SDL and MSC
: third international workshop ; revised papers / SAM 2002, Aberystwyth, UK, June 24 - 26, 2002. Edel Sherratt (ed.). - Berlin : Springer, 2003. - VIII, 252 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2599)
ISBN 978-3-540-00877-4 / 3-540-00877-2 kart. : EUR 44.94
Literaturangaben
Quelle: DNB
Telecommunications and beyond: the broader applicability of SDL and MSC
: third international workshop ; revised papers / SAM 2002, Aberystwyth, UK, June 24 - 26, 2002. Edel Sherratt (ed.). - Berlin : Springer, 2003. - Online-Ressource - (Lecture notes in computer science; 2599)
ISBN 978-3-540-36573-0
Lizenzpflichtig
Quelle: DNB

