columbo      

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 Static 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  

                                                                                                                                                                                                                                                                                                                                                                                                     


Neuigkeiten

     Aktuelles
     Motto des Tages

Software

     Downloads
     Quellcodebibliothek

Forschung

     neueste Artikel weltweit
     Artikel über Sicherheit

Muße

     Gedichte
     Musik
     Bilder

Jenseits des Üblichen ....

Besucher

Besucher