Embedding Sequential Circuits for their Polynomial Formal Verification
Seiten
2026
Springer Fachmedien Wiesbaden GmbH (Hersteller)
978-3-658-50155-6 (ISBN)
Springer Fachmedien Wiesbaden GmbH (Hersteller)
978-3-658-50155-6 (ISBN)
- Noch nicht erschienen - erscheint am 18.01.2026
- Versandkostenfrei
- Auch auf Rechnung
- Artikel merken
| Erscheint lt. Verlag | 18.1.2026 |
|---|---|
| Reihe/Serie | BestMasters | Computer Science and Engineering (German Language) |
| Zusatzinfo | XIV, 62 p. 50 illus. |
| Verlagsort | Wiesbaden |
| Sprache | englisch |
| Themenwelt | Mathematik / Informatik ► Informatik ► Theorie / Studium |
| Schlagworte | Computer Architecture • Digital Circuits • Polynomial Formal Verification • self-explaining cyber-physical systems • Sequential Circuits |
| ISBN-10 | 3-658-50155-3 / 3658501553 |
| ISBN-13 | 978-3-658-50155-6 / 9783658501556 |
| Zustand | Neuware |
| Informationen gemäß Produktsicherheitsverordnung (GPSR) | |
| Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
Online Resource (2025)
Springer Fachmedien Wiesbaden GmbH (Hersteller)
CHF 48,95
