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 checking software
: proceedings / 12th International SPIN Workshop, San Francisco, CA, USA, August 22 - 24, 2005. Patrice Godefroid (ed.). - Berlin : Springer, 2005. - XI, 287 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 3639)
ISBN 978-3-540-28195-5 / 3-540-28195-9 kart. : EUR 48.15 (freier Pr.), sfr 82.00 (freier Pr.)
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
Model driven architecture - foundations and applications
: third European conference ; proceedings / ECMDA-FA 2007, Haifa, Israel, June 11 - 15, 2007. David H. Akehurst ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4530)
ISBN 978-3-540-72901-3
Lizenzpflichtig
Quelle: DNB
Model driven architecture - foundations and applications
: second European conference ; proceedings / ECMDA-FA 2006, Bilbao, Spain, July 10 - 13, 2006. Arend Rensink ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 4066)
ISBN 978-3-540-35910-4
Lizenzpflichtig
Quelle: DNB
Model driven architecture - foundations and applications
: first European conference ; proceedings / ECMDA-FA 2005, Nuremberg, Germany, November 7 - 10, 2005. Alan Hartman ... (ed.). - Berlin : Springer, 2005. - Online-Ressource - (Lecture notes in computer science; 3748)
ISBN 978-3-540-32093-7
Lizenzpflichtig
Quelle: DNB
Model driven development of reliable automotive services
: revised selected papers / Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15 - 17, 2006 / Manfred Broy ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 4922)
ISBN 978-3-540-70930-5
Lizenzpflichtig
Quelle: DNB
