Literatur zum Thema Verifikation
Die Arbeit an Columbo gründet sich auf verschiedene Quellen - folgende Bücher sind empfehlenswert:
Gebiet |
Teilgebiet |
Autor |
Titel |
Wertung |
| Informatik |
Semantik |
Winskel |
The Formal Semantics of Programming Languages |
***** |
| |
Verifikation |
Francez |
Program Verification |
**** |
| |
|
Carnap |
Introduction to Symbolic Logic and its Applications |
|
| |
|
Berg et al |
Formal Methods of Program Verification and Specification |
|
| |
|
Loecks/Sieber |
The Foundations of Program Verification |
|
| |
|
Cousot |
Analysis LNCS 2003 |
|
| |
Theorie |
Schöning |
Theoretische Informatik kurzgefaßt |
***** |
| |
|
Hindley |
Basic Simple Type Theory |
***** |
| |
|
Hankin |
An Introduction to Lambda-Calculi |
***** |
| |
|
Erk/Priese |
Theoretische Informatik |
|
| |
|
Steger |
Diskrete Strukturen |
|
| |
|
Lauritzen |
Concrete Abstract Algebra |
|
| |
|
van Dalen |
Logic and Structure |
|
| |
|
Berge |
Principles of Combinatorics |
|
| |
KI |
Beierle |
Methoden wissensbasierter Systeme |
|
| |
Praxis |
Sedgewick |
Algorithmen |
|
| Mathematik |
Grundlagen |
Aigner |
Das Buch der Beweise |
|
| |
|
Zeidler |
Teubner-Taschenbuch der Mathematik I+II |
|
| |
|
Ebbinghaus |
Einführung in die mathematische Logik |
|
| |
|
Tuschik/Wolter |
Mathematische Logik - kurzgefaßt |
|
| |
|
Lang |
Algebra |
**** |
| |
|
Walter |
Analysis I+II |
|
| |
|
Szymik |
Grundkurs Topologie |
|
| |
|
Woodcock |
Catastrophe Theory |
|
| Philosophie |
|
Frege |
Funktion-Begriff-Bedeutung |
***** |
| |
|
Kripke |
Name und Notwendigkeit |
***** |
| |
|
Balzer |
Die Wissenschaft und ihre Methoden |
|
