Computer-aided verification: 2nd international conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990 ; proceedings
Gespeichert in:
Bibliographische Detailangaben
Format: Elektronisch Tagungsbericht E-Book
Sprache:English
Veröffentlicht: Berlin u.a. Springer 1991
Schriftenreihe:Lecture notes in computer science 531
Schlagworte:
Online-Zugang:Volltext
Beschreibung:1 Online-Ressource (XIII, 372 S. graph. Darst.)
ISBN:3540544771
0387544771
DOI:10.1007/BFb0023712

Es ist kein Print-Exemplar vorhanden.

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