Computer aided verification: 14th international conference, CAV 2002, Copenhagen, Denmark, July 27 - 31, 2002 ; proceedings
Gespeichert in:
Bibliographische Detailangaben
Format: Elektronisch Tagungsbericht E-Book
Sprache:English
Veröffentlicht: Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London Springer 2002
Schriftenreihe:Lecture notes in computer science 2404
Schlagworte:
Online-Zugang:DE-91
DE-384
DE-19
DE-706
DE-739
Volltext
Beschreibung:1 Online-Ressource (XIII, 626 S.)
ISBN:3540439978
3540456570
DOI:10.1007/3-540-45657-0

Es ist kein Print-Exemplar vorhanden.

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