Verification, model checking, and abstract interpretation : 5th International Conference, VMCAI 2004, Venice, Italy, January 11-13, 2004, proceedings

Verification, model checking, and abstract interpretation 5th International Conference, VMCAI 2004, Venice, Italy, January 11-13, 2004, proceedings

Gespeichert in:
Bibliographische Detailangaben
Körperschaft: VMCAI (BerichterstatterIn)
Weitere Verfasser: Steffen, Bernhard (BerichterstatterIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Berlin u.a. Springer 2004
Schriftenreihe:Lecture notes in computer science 2937
Schlagworte:
Logiciels - Vérification - Congrès > Model-checking (Informatique) > Méthode formelle > Vérification de logiciels > Computer programs > Verification > Abstrakte Interpretation > Model Checking > Programmverifikation > Formale Methode > Programmanalyse > Konferenzschrift
Online Zugang:Inhaltsverzeichnis
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:XI, 324 S.
ISBN:3540208038
3-540-20803-8