Kowalk, Wolfgang: Korrekte Software
: Semantik, Spezifikation, Verifikation und Testen von Programmen / von Wolfgang Peter Kowalk. - Mannheim : BI-Wiss.-Verl., 1993. - 312 S.; 24 cm
ISBN 978-3-411-16001-3 / 3-411-16001-2 kart. : DM 38.00
Literaturverz. S. 299 - 302
Quelle: DNB
KORSO: methods, languages, and tools for the construction of correct software
: final report / Manfred Broy ; Stefan Jähnichen (ed.). - Berlin : Springer, 1995. - X, 449 S. : Ill., graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1009)
ISBN 978-3-540-60589-8 / 3-540-60589-4 kart. : DM 94.00
Literaturangaben
Quelle: DNB
Programming languages and systems
: proceedings / 12th European Symposium on Programming, ESOP 2003 ... Warsaw, Poland, April 7 - 11, 2003. P. Degano (ed.). - Berlin : Springer, 2003. - Online-Ressource - (Lecture notes in computer science; 2618)
ISBN 978-3-540-36575-4
Lizenzpflichtig
Quelle: DNB
Programming languages and systems
: proceedings / 11th European Symposium on Programming, ESOP 2002 ... Grenoble, France, April 8 - 12, 2002. D. Le Métayer (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2305)
ISBN 978-3-540-45927-9
Lizenzpflichtig
Quelle: DNB
Programming languages and systems
: proceedings / 10th European Symposium on Programming, ESOP 2001, ..., Genova, Italy, April 2 - 6, 2001. D. Sands (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Lecture notes in computer science; 2028)
ISBN 978-3-540-45309-3
Lizenzpflichtig
Quelle: DNB
Runtime verification
: 7th international workshop / RV 2007, Vancover, Canada, March 13, 2007. Oleg Sokolsky ; Serdar Taşıran (ed.). - Berlin : Springer, 2007. - VIII, 213 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 4839)
ISBN 978-3-540-77394-8 / 3-540-77394-0 kart. : EUR 44.94 (freier Pr.), sfr 73.50 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Kock, Gerd: Spezifikation und Verifikation von Optimierungsalgorithmen für imperative Programme
/ Gerd Kock. Gesellschaft für Mathematik und Datenverarbeitung mbH. - München : Oldenbourg, 1992. - X, 217 S.; 23 cm - (Berichte der Gesellschaft für Mathematik und Datenverarbeitung; Nr. 201)
ISBN 978-3-486-22255-5 / 3-486-22255-4 kart. : DM 60.00
Quelle: DNB
Tests and proofs
: first international conference ; revised papers / TAP 2007, Zurich, Switzerland, February 12 - 13, 2007. Yuri Gurevich ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4454)
ISBN 978-3-540-73770-4
Lizenzpflichtig
Quelle: DNB
Tests and proofs
: first international conference ; revised papers / TAP 2007, Zurich, Switzerland, February 12 - 13, 2007. Yuri Gurevich ; Bertrand Meyer (ed.). - Berlin : Springer, 2007. - VIII, 216 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 4454)
ISBN 978-3-540-73769-8 / 3-540-73769-3 kart. : EUR 44.94 (freier Pr.), sfr 73.50 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Tests and proofs
: second international conference ; proceedings / TAP 2008, Prato, Italy, April 9 - 11, 2008. Bernhard Beckert ; Reiner Hähnle (ed.). - Berlin : Springer, 2008. - X, 191 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 4966)
ISBN 978-3-540-79123-2 kart. : EUR 44.94 (freier Pr.), ca. sfr 73.50 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
