Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Zur Ergebnisliste
Ergebnis 22 von 93
    Datensatz exportieren als...
  • BibTeX
Advanced formal verification
2004
Signatur: TVE3629

Details

Autor(en) / Beteiligte
Titel
Advanced formal verification
Ort / Verlag
Boston [u.a.] : Kluwer Acad. Publ.
Erscheinungsjahr
2004
Sprache
Englisch
Identifikatoren
ISBN: 1402077211
OCLC-Nummer: 249004819, 249004819
Titel-ID: 990008752720106463
Format
XXV, 249 S. : graph. Darst.
Systemstelle
TWI, TVE
Schlagworte
Elektronische Schaltung, Verifikation, Funktionstest, Integrated circuits

Lade weitere Informationen...