Verification, model checking, and abstract interpretation: 7th international conference, VMCAI 2006, Charleston, SC, USA, January 8 - 10, 2006 ; proceedings
Gespeichert in:
Bibliographische Detailangaben
Format: Tagungsbericht Buch
Sprache:English
Veröffentlicht: Berlin [u.a.] Springer 2006
Schriftenreihe:Lecture notes in computer science 3855
Schlagworte:
Online-Zugang:Inhaltstext
Inhaltsverzeichnis
Beschreibung:XI, 442 S. graph. Darst.
ISBN:9783540311393
3540311394

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Beschreibung