Abstract state machines
: theory and applications ; international workshop ; proceedings / ASM 2000, Monte Verità, Switzerland, March 19 - 24, 2000. Yuri Gurevich ... (ed.). - Berlin : Springer, 2000. - X, 379 S. : Ill., graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1912)
ISBN 978-3-540-67959-2 / 3-540-67959-6 kart. : DM 90.00
Literaturangaben
Quelle: DNB
Abstract state machines
: theory and applications ; international workshop ; proceedings / ASM 2000, Monte Verità, Switzerland, March 2000. Yuri Gurevich ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 1912)
ISBN 978-3-540-44518-0
Lizenzpflichtig
Quelle: DNB
Abstract state machines 2003
: advances in theory and practice ; 10th international workshop ; proceedings / ASM 2003, Taormina, Italy, March 3 - 7, 2003. Egon Börger ... (ed.). - Berlin : Springer, 2003. - XI, 424 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2589)
ISBN 978-3-540-00624-4 / 3-540-00624-9 kart. : EUR 57.78
Literaturangaben
Quelle: DNB
[Abstract state machines 2004]
: [advances in theory and practice ; 11th international workshop ; proceedings] / [ASM 2004, Lutherstadt Wittenberg, Germany, March 24 - 28, 2004. Wolf Zimmermann ... (ed.)]. - [Berlin : [Springer], 2004. - Online-Ressource - ([Lecture notes in computer science]; [3052])
ISBN 978-3-540-24773-9
Titel aus Metadaten. - Lizenzpflichtig
Quelle: DNB
Abstract state machines 2004
: advances in theory and practice ; 11th international workshop ; proceedings / ASM 2004, Lutherstadt Wittenberg, Germany, March 24 - 28, 2004. Wolf Zimmermann ; Bernhard Thalheim (ed.). - Berlin : Springer, 2004. - XII, 233 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 3052)
ISBN 978-3-540-22094-7 / 3-540-22094-1 kart. : EUR 44.94 (freier Pr.), ca. sfr 76.50 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Abstract state machines, B and Z
: first international conference ; proceedings / ABZ 2008, London, UK, September 16 - 18, 2008. Egon Börger ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5238)
ISBN 978-3-540-87603-8
Lizenzpflichtig
Quelle: DNB