Zum Inhalt
Anmelden
Abmelden
Schrift
klein
Schrift
normal
Schrift
groß
Navigation
Startseite
Mein Konto
Meine Suchen
Aufstellungssystematik
Semesterapparat
Neuerwerbungsliste
Kaufwunsch
Hilfe
Suchbegriff
:
Suchbereich
:
Alle
Bibliotheks-Zentrale
Bibliotheksbestand
Fernleihe
Fernleihe Zeitschriften
Helmholtzstraße
Erweiterte Suche
Aktuelle Seite:
Trefferliste
Gesucht wurde mit: Prof. Glaß: Verifikation digitaler Systeme, Treffer: 1-3 von 3
Zurück
Vollanzeige
1
Markieren
ist verfügbar
Digitale Hardware-Software-Systeme : Spezifikation und Verifikation
2010
Christian Haubelt; Jürgen Teich. - Springer
Standort
Merken
2
Markieren
ist verfügbar
Introduction to formal hardware verification : 32 tables
2010
Thomas Kropf. - Springer
Standort
Merken
3
Markieren
siehe Vollanzeige
Hardware design verification : simulation and formal method-based approaches
2005
William K. Lam.. - Prentice Hall Professional Technical Reference
⇨ Zum Volltext
Merken
Merklisten
Merkliste aktivieren
Durch Anklicken einer Merkliste wird diese an die erste Position platziert und wird zur
aktiven Merkliste
. Ist das Stern-Icon gefüllt, führt der Klick auf diese
aktive Merkliste
zur Anzeige der Merkliste.
Merkliste
Weitere Optionen
Exportieren
Zurück
Vollanzeige