Model checking software
: proceedings / 11th International SPIN Workshop, Barcelona, Spain, April 1- 3, 2004. Susanne Graf ; Laurent Mounier (ed.). - Berlin : Springer, 2004. - X, 307 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2989)
ISBN 978-3-540-21314-7 / 3-540-21314-7 kart. : EUR 51.36
Literaturangaben
Quelle: DNB
Model checking software
: proceedings / 9th International SPIN Workshop, Grenoble, France, April 11 - 13, 2002. D. Bos̆nac̆ki ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2318)
ISBN 978-3-540-46017-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
Müller-Olm, Markus: Modular compiler verification
: a refinement algebraic approach advocating stepwise abstraction / Markus Müller-Olm. - Berlin : Springer, 1997. - XII, 250 S.; 24 cm - (Lecture notes in computer science; Vol. 1283)
ISBN 978-3-540-63406-5 / 3-540-63406-1 kart. : DM 66.00
Literaturverz. S. 239 - 243
Quelle: DNB
Modular specification and verification of object oriented programs
/ P. Müller. - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2262)
ISBN 978-3-540-45651-3
Lizenzpflichtig
Quelle: DNB
Perspectives of system informatics
: revised papers / 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9 - 12, 2003. Manfred Broy ... (ed.). - Berlin : Springer, 2003. - Online-Ressource - (Lecture notes in computer science; 2890)
ISBN 978-3-540-39866-0
Lizenzpflichtig
Quelle: DNB
