Formal methods in computer aided design
: third international conference ; proceedings / FMCAD 2000, Austin, TX, USA, November 2000. Warren A. Hunt ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 1954)
ISBN 978-3-540-40922-9
Lizenzpflichtig
Quelle: DNB
Hardware and software verification and testing
: revised selected papers / First International Haifa Verification Conference, Haifa, Israel, November 13 - 16, 2005. Shmuel Ur ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 3875)
ISBN 978-3-540-32605-2
Lizenzpflichtig
Quelle: DNB
Hardware and software, verification and testing
: revised selected papers / Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23 - 26, 2006. Eyal Bin ... (ed.). - Berlin : Springer, 2007. - XII, 234 S. : Ill., graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 4383)
ISBN 978-3-540-70888-9 / 3-540-70888-X kart. : EUR 44.94 (freier Pr.), sfr 69.00 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Hardware and software, verification and testing
: revised selected papers / Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23 - 26, 2006. Eyal Bin ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4383)
ISBN 978-3-540-70889-6
Lizenzpflichtig
Quelle: DNB
Leveraging applications of formal methods
: first international symposium ; revised selected papers / ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004. Tiziana Margaria ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 4313)
ISBN 978-3-540-48929-0
Lizenzpflichtig
Quelle: DNB
Leveraging applications of formal methods, verification and validation
: third international symposium ; proceedings / ISoLA 2008, Porto Sani, Greece, October 13 - 15, 2008. Tiziana Margaria ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Communications in computer and information science; 17)
ISBN 978-3-540-88479-8
Lizenzpflichtig
Quelle: DNB
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
Nielson, Flemming: Principles of program analysis
: with 51 tables / Flemming Nielson ; Hanne Riis Nielson ; Chris Hankin. - Berlin : Springer, 1999. - XXI, 450 S. : graph. Darst.; 24 cm
ISBN 978-3-540-65410-0 / 3-540-65410-0 Pp. : DM 79.00
Literaturverz. S. 437 - 450
Quelle: DNB
Program analysis and compilation, theory and practice
: essays dedicated to Reinhard Wilhelm on the occasion of his 60th Birthday / Thomas Reps ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4444)
ISBN 978-3-540-71322-7
Lizenzpflichtig
Quelle: DNB
Programming languages and systems
: first Asian symposium / APLAS 2003, Beijing, China, November 27 - 29, 2003. Atsushi Ohori (ed.). - Berlin : Springer, 2003. - Online-Ressource - (Lecture notes in computer science; 2895)
ISBN 978-3-540-40018-9
Lizenzpflichtig
Quelle: DNB