Computer aided verification: 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009 ; proceedings
Gespeichert in:
Bibliographische Detailangaben
Format: Elektronisch Tagungsbericht E-Book
Sprache:English
Veröffentlicht: Berlin ; Heidelberg [u.a.] Springer 2009
Schriftenreihe:Lecture Notes in Computer Science 5643
Schlagworte:
Online-Zugang:Volltext
Beschreibung:1 Online-Ressource (XV, 722 S. graph. Darst.)
ISBN:9783642026584
DOI:10.1007/978-3-642-02658-4

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Volltext öffnen