Hardware Specification, Verification and Synthesis: Mathematical Aspects: Mathematical Sciences Institute Workshop Cornell University Ithaca, New ... Notes in Computer Science, 408, Band 408)
53.49 EUR
Ein umfassendes Werk über mathematische Grundlagen der Hardware-Spezifikation, Verifikation und Synthese, das formale Modelle, Logik und Algorithmen für die Optimierung digitaler Schaltungen detailliert erläutert.
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Medimops DE
Gesponsert
SpringerLink DE
Hardware Specification, Verification and Synthesis: Mathematical Aspects
SpringerLink DE
22-04-2026 09:04:22
