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 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
B 2007: formal specification and development in B
: proceedings / 7th International Conference of B Users, Besançon, France, January 17 - 19, 2007. Jacques Julliand ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 4355)
ISBN 978-3-540-68761-0
Lizenzpflichtig
Quelle: DNB
BCS FACS Northern Formal Methods Workshop
: proceedings of the BCS FACS Northern Formal Methods Workshop, Ilkley, UK, 23 - 24 September 1996 / D. J. Duke and A. S. Evans (ed.). Publ. in collab. with the British Computer Society. - London : Springer, 1997. - 10 S.; 21 cm - (Electronic Workshops in Computing)
ISBN 978-3-540-76117-4 / 3-540-76117-9 geh. : DM 68.00
Quelle: DNB
Declarative agent languages and technologies VI
: 6th international workshop ; revised selected and invited papers / DALT 2008, Estoril, Portugal, May 12, 2008. Matteo Baldoni ... (ed.). - Heidelberg : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5397 : Lecture notes in artificial intelligence)
ISBN 978-3-540-93920-7
Lizenzpflichtig
Quelle: DNB
Janssen, Christian: Dialogentwicklung für objektorientierte, graphische Benutzerschnittstellen
/ Christian Janssen. - Berlin : Springer, 1996. - 154 S. : graph. Darst.; 21 cm - (IPA-IAO-Forschung und Praxis; Bd. 227)
ISBN 978-3-540-60719-9 / 3-540-60719-6 kart. : DM 88.00
Quelle: DNB
Formal approaches to software testing and runtime verification
: revised selected papers / First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15 - 16, 2006. Klaus Havelund ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 4262)
ISBN 978-3-540-49703-5
Lizenzpflichtig
Quelle: DNB
Formale Methoden für verteilte Systeme
/ Hartmut König (Hrsg.). - München : Saur, 1993. - 178 S. : graph. Darst.; 21 cm - (Fokus; Bd. 8)
ISBN 978-3-598-22409-6 / 3-598-22409-5 Pp. : DM 68.00
Literaturangaben. - Beitr. teilw. dt., teilw. engl.
Quelle: DNB
