Formal Hardware Verification: Methods and Systems in Comparison (Lecture Notes in Computer Science, 1287, Band 1287)

Methods and Formal Hardware Verification
Wo zu kaufen (3) Eigenschaften
Gesponsert
Formal Hardware Verification: Methods and Systems in Comparison (Lecture Notes in Computer Science, Band 1287)
Medimops DE
53.49 EUR
Preis aktualisiert am: 28-10-2026 22:17:04
Siehe Produktangebot
Gesponsert
Formal Hardware Verification
Hugendubel
53.49 EUR
Preis aktualisiert am: 29-10-2026 10:21:33
Siehe Produktangebot
Gesponsert
Formal Hardware Verification
SpringerLink DE
59.00 EUR
Preis aktualisiert am: 28-10-2026 06:11:04
Siehe Produktangebot

Allgemein

Marke
Springer

Eigenschaften

Ähnliche Produkte

Formal Aspects of Component Software
Formal Aspects of Component Software
Aus53.48 EUR 4
Produkt anzeigen
FRM: Ein Frame-Repräsentationsmodell und seine formale Semantik
FRM: Ein Frame-Repräsentationsmodell und seine formale Semantik
Aus54.99 EUR 2
Produkt anzeigen
Introduction to Formal Hardware Verification
Introduction to Formal Hardware Verification
Aus53.49 EUR 2
Produkt anzeigen
The VAMP Memory Unit
The VAMP Memory Unit
Aus49.00 EUR 1
Produkt anzeigen
Formal Verification of Floating-Point Hardware Design: A Mathematical Approach
Formal Verification of Floating-Point Hardware Design: A Mathematical Approach
Aus90.94 EUR 1
Produkt anzeigen
Formal Verification of a Processor with Memory Management Units
Formal Verification of a Processor with Memory Management Units
Aus49.00 EUR 1
Produkt anzeigen
Menü