Bradley, Aaron R.: The calculus of computation
: decision procedures with applications to verification / Aaron R. Bradley ; Zohar Manna. - Berlin : Springer, 2007. - XV, 365 S. : graph. Darst.; 24 cm
ISBN 978-3-540-74112-1 / 3-540-74112-7 Pp. : EUR 37.40, ca. sfr 61.00
Quelle: DNB Verlagsmeldungen
Cooke, John: Constructing correct software
: the basics / John Cooke. - London : Springer, 1998. - XIII, 395 S. : graph. Darst.; 24 cm - (Formal approaches to computing and information technology)
ISBN 978-3-540-76156-3 / 3-540-76156-X kart. : DM 89.00
Quelle: DNB
Correct system design
: recent insights and advances / E.-R. Olderog ... (ed.). - Berlin : Springer, 2000. - Online-Ressource - (Lecture notes in computer science; 1710)
ISBN 978-3-540-48092-1
Lizenzpflichtig
Quelle: DNB
Wei, Jiawang: Fixpoint transformations and parallel asynchronous iterative algorithms
/ Jiawang Wei. Gesellschaft für Mathematik und Datenverarbeitung mbH. - München : Oldenbourg, 1994. - XII, 122 S.; 24 cm - (Berichte der Gesellschaft für Mathematik und Datenverarbeitung; Nr. 229)
ISBN 978-3-486-23072-7 / 3-486-23072-7 kart. : DM 39.00, sfr 39.00, S 305.00
Quelle: DNB
Formal approaches to software testing
: revised papers / Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003. Alexandre Petrenko ; Andreas Ulrich (ed.). - Berlin : Springer, 2004. - VIII, 266 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2931)
ISBN 978-3-540-20894-5 / 3-540-20894-1 kart. : EUR 44.94 (freier Pr.), sfr 76.50
Literaturangaben
Quelle: DNB Verlagsmeldungen
Formal approaches to software testing
: revised papers / Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003. Alexandre Petrenko ... (ed.). - Berlin : Springer, 2004. - Online-Ressource - (Lecture notes in computer science; 2931)
ISBN 978-3-540-24617-6
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
Dittmer, Ingo: Konstruktion guter Algorithmen
: sichere und korrekte Software / von Ingo Dittmer. - Stuttgart : Teubner, 1996. - 300 S.; 23 cm - (Informatik & Praxis)
ISBN 978-3-519-02990-8 / 3-519-02990-1 kart. : DM 44.80, sfr 40.00, S 327.00
Literaturverz. S. 278 - 283
Quelle: DNB
