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 12 von 192
    Datensatz exportieren als...
  • BibTeX
Architecture design and validation methods
2000
Signatur: TWI4289

Details

Autor(en) / Beteiligte
Titel
Architecture design and validation methods
Ort / Verlag
Berlin [u.a.] : Springer
Erscheinungsjahr
2000
Link zu anderen Inhalten
Sprache
Englisch
Identifikatoren
ISBN: 354064976X
OCLC-Nummer: 247758104, 247758104
Titel-ID: 990008023500106463
Format
VIII, 357 S. : Ill., graph. Darst.
Systemstelle
TVS, TWI
Schlagworte
Digitalschaltung, VLSI, Hardwareentwurf, Softwareentwicklung, Logiksynthese, Testen, Verifikation, Formale Spezifikationstechnik, Java Virtual Machine

Lade weitere Informationen...