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
Advances in computing science - ASIAN '99
: proceedings / 5th Asian Computing Science Conference, Phuket, Thailand, December 1999. P. S. Thiagarajan ... (ed.). - Berlin : Springer, 1999. - Online-Ressource - (Lecture notes in computer science; 1742)
ISBN 978-3-540-46674-1
Lizenzpflichtig
Quelle: DNB
Automated technology for verification and analysis
: second international conference : proceedings / ATVA 2004, Taipei, Taiwan, ROC, October 31 - November 3, 2004. Farn Wang (ed.). - Berlin : Springer, 2004. - XII, 506 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 3299)
ISBN 978-3-540-23610-8 / 3-540-23610-4 kart. : EUR 68.48 (freier Pr.), sfr 113.00 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Automated technology for verification and analysis
: 4th international symposium ; proceedings / ATVA 2006, Beijing, China, October 23 - 26, 2006. Susanne Graf ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 4218)
ISBN 978-3-540-47238-4
Lizenzpflichtig
Quelle: DNB
Automated technology for verification and analysis
: 4th international symposium ; proceedings / ATVA 2006, Beijing, China, October 23 - 26, 2006. Susanne Graf ; Wenhui Zhang (ed.). - Berlin : Springer, 2006. - XIV, 540 S. : Ill., graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 4218)
ISBN 978-3-540-47237-7 / 3-540-47237-1 kart. : EUR 72.76 (freier Pr.), sfr 120.50 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Automated technology for verification and analysis
: third international symposium ; proceedings / ATVA 2005, Taipei, Taiwan, October 4 - 7, 2005. Doron A. Peled ... (ed.). - Berlin : Springer, 2005. - Online-Ressource - (Lecture notes in computer science; 3707)
ISBN 978-3-540-31969-6
Lizenzpflichtig
Quelle: DNB