Computer aided verification 12th international conference, CAV 2000, Chicago, IL, USA, July 15 - 19, 2000 ; proceedings

Computer aided verification 12th international conference, CAV 2000, Chicago, IL, USA, July 15 - 19, 2000 ; proceedings

Weitere Versionen anzeigen (1)
Gespeichert in:
Bibliographische Detailangaben
Format: Tagungsbericht Buch
Sprache:English
Veröffentlicht: Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London Springer 2000
Schriftenreihe:Lecture notes in computer science 1855
Schlagworte:
Circuits intégrés - Essais - Congrès
Circuits intégrés - Vérification - Congrès
Logiciels - Essais - Congrès
Logiciels - Vérification - Congrès
Software
Verificatie
déduction automatique
démonstration théorème
méthode formelle
méthode vérification
validation modèle
vérification automatique
Computer software > Verification > Congresses
Integrated circuits > Verification > Congresses
Verifikation
Konferenzschrift > 2000 > Chicago Ill.
Online-Zugang:Inhaltsverzeichnis
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!

Wegen Wartungsarbeiten nicht verfügbar

Unser Bibliotheksverwaltungssystem ist momentan wegen Wartungsarbeiten nicht verfügbar.

Bestandes- und Verfügbarkeitsinformationen können momentan leider nicht angezeigt werden. Wir entschuldigen uns für die Umstände und stehen für weitere Fragen gerne zur Verfügung:

it.bib-wue@thws.de

Online

Inhaltsverzeichnis

Ähnliche Einträge