- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Maße
-
30 cm
- Umfang
-
xiv, 164 Seiten
- Sprache
-
Englisch
- Anmerkungen
-
Diagramme
Universität Bremen, Dissertation, 2022
- Klassifikation
-
Informatik
Elektrotechnik, Elektronik
- Schlagwort
-
Digitale integrierte Schaltung
Hardwareverifikation
Computeralgebra
Hardwareverifikation
Digitale integrierte Schaltung
Computeralgebra
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 13:51 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Hochschulschrift
Beteiligte
Entstanden
- July 6, 2022
Ähnliche Objekte (12)
Verification of integer multipliers on the arithmetic bit level
Holomorphic last multipliers on complex manifolds
SMACS: A framework for formal verification of complex adaptive systems
A Structurally Characterized Organometallic Plutonium (IV) Complex
A Structurally Characterized Organometallic Plutonium (IV) Complex
Formal verification of pipelined microprocessors
Formal verification in automated manufacturing
Formal Verification in Automated Manufacturing
Formal verification of recursive predicates
Formal verification of pipelined microprocessors
Formal verification for ALICA plans
A Structurally Characterized Cobalt (I) σ‐Alkane Complex
Verification of integer multipliers on the arithmetic bit level
Holomorphic last multipliers on complex manifolds
SMACS: A framework for formal verification of complex adaptive systems
A Structurally Characterized Organometallic Plutonium (IV) Complex
A Structurally Characterized Organometallic Plutonium (IV) Complex
Formal verification of pipelined microprocessors
Formal verification in automated manufacturing
Formal Verification in Automated Manufacturing
Formal verification of recursive predicates
Formal verification of pipelined microprocessors
Formal verification for ALICA plans
A Structurally Characterized Cobalt (I) σ‐Alkane Complex
Verification of integer multipliers on the arithmetic bit level
Holomorphic last multipliers on complex manifolds
SMACS: A framework for formal verification of complex adaptive systems
A Structurally Characterized Organometallic Plutonium (IV) Complex
A Structurally Characterized Organometallic Plutonium (IV) Complex
Formal verification of pipelined microprocessors
Formal verification in automated manufacturing
Formal Verification in Automated Manufacturing
Formal verification of recursive predicates
Formal verification of pipelined microprocessors
Formal verification for ALICA plans