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 5 von 62
    Datensatz exportieren als...
  • BibTeX
High level verification : methods and tools for verification of system-level designs
2011
Signatur: TWH2826

Details

Autor(en) / Beteiligte
Titel
High level verification : methods and tools for verification of system-level designs
Ort / Verlag
New York, NY [u.a.] : Springer
Erscheinungsjahr
2011
Sprache
Englisch
Identifikatoren
ISBN: 9781441993588, 9781441993595
OCLC-Nummer: 747317372, 747317372
Titel-ID: 990014765260106463
Format
XIII, 167 S. : graph. Darst.
Systemstelle
TWH

Lade weitere Informationen...