Formal methods in computer aided design first international conference, FMCAD '96, Palo Alto, CA, USA, November 6-8, 1996 ; proceedings

Formal methods in computer aided design first international conference, FMCAD '96, Palo Alto, CA, USA, November 6-8, 1996 ; proceedings

Weitere Versionen anzeigen (1)
Gespeichert in:
Bibliographische Detailangaben
Format: Elektronisch Tagungsbericht E-Book
Sprache:English
Veröffentlicht: Berlin u.a. Springer 1996
Schriftenreihe:Lecture notes in computer science 1166
Schlagworte:
Digital integrated circuits > Computer-aided design > Congresses
Automatic theorem proving > Congresses
Integrated circuits > Verification > Congresses
Computer engineering > Computer-aided design > Congresses
Formal methods (Computer science) > Congresses
Verifikation
Formale Methode
CAD
Konferenzschrift > 1996 > Palo Alto Calif.
Online-Zugang:Volltext
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

Volltext

Ähnliche Einträge