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

Gebiet