Verification, model checking, and abstract interpretation: third international workshop, VMCAI 2002, Venice, Italy, January 21 - 22, 2002 ; revised papers
Gespeichert in:
Bibliographische Detailangaben
Format: Tagungsbericht Buch
Sprache:English
Veröffentlicht: Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London Springer 2002
Schriftenreihe:Lecture notes in computer science 2294
Schlagworte:
Beschreibung:VIII, 330 S.
ISBN:3540436316

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand!