Model checking software
: proceedings / 8th International SPIN Workshop, Toronto, Canada, May 19 - 20, 2001. M. B. Dwyer (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Lecture notes in computer science; 2057)
ISBN 978-3-540-45139-6
Lizenzpflichtig
Quelle: DNB
Model checking software
: proceedings / 15th International SPIN Workshop, Los Angeles, CA, USA, August 10 - 12, 2008. Klaus Havelund ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5156)
ISBN 978-3-540-85114-1
Lizenzpflichtig
Quelle: DNB
Model checking software
: proceedings / 14th International SPIN Workshop, Berlin, Germany, July 1 - 3, 2007. Dragan Bošnački ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4595)
ISBN 978-3-540-73370-6
Lizenzpflichtig
Quelle: DNB
Model checking software
: proceedings / 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006. Antti Valmari (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 3925)
ISBN 978-3-540-33103-2
Lizenzpflichtig
Quelle: DNB
Model checking software
: proceedings / 12th International SPIN Workshop, San Francisco, CA, USA, August 22 - 24, 2005. Patrice Godefroid (ed.). - Berlin : Springer, 2005. - Online-Ressource - (Lecture notes in computer science; 3639)
ISBN 978-3-540-31899-6
Lizenzpflichtig
Quelle: DNB
Model checking software
: proceedings / 10th International SPIN Workshop, Portland, OR, USA, May 9 - 10, 2003. Thomas Ball ; Sriram K. Rajamani (ed.). - Berlin : Springer, 2003. - VIII, 239 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2648)
ISBN 978-3-540-40117-9 / 3-540-40117-2 kart. : EUR 40.66
Literaturangaben
Quelle: DNB
Model driven
: proceedings / SDL 2005, 12th International SDL Forum, Grimstad, Norway, June 20 - 23, 2005. Andreas Prinz ... (ed.). - Berlin : Springer, 2005. - Online-Ressource - (Lecture notes in computer science; 3530)
ISBN 978-3-540-31539-1
Lizenzpflichtig
Quelle: DNB
Model driven architecture
: revised selected papers / European MDA Workshops: Foundations and Applications, MDAFA 2003 and MDAFA 2004, Twente, The Netherlands, June 26 - 27, 2003 and Linköping, Sweden, June 10 - 11, 2004. Uwe Aßmann ... (ed.). - Berlin : Springer, 2005. - Online-Ressource - (Lecture notes in computer science; 3599)
ISBN 978-3-540-31819-4
Lizenzpflichtig
Quelle: DNB
Gašević, Dragan: Model driven architecture and ontology development
: with 7 tables / Dragan Gašević ; Dragan Djurić ; Vladan Devedžić. Foreword by Bran Selic. - Berlin : Springer, 2006. - XVII, 311 S. : Ill., graph. Darst.; 24 cm
ISBN 978-3-540-32180-4 / 3-540-32180-2 Pp. : EUR 53.45 (freier Pr.), sfr 88.50 (freier Pr.)
Literaturverz. S. 291 - 304
Quelle: DNB Verlagsmeldungen
Model driven architecture - foundations and applications
: 4th European conference ; proceedings / ECMDA-FA 2008, Berlin, Germany, June 9 - 13, 2008. Ina Schieferdecker ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5095)
ISBN 978-3-540-69100-6
Lizenzpflichtig
Quelle: DNB
