Introduction to Formal Hardware Verification Thomas Kropf
53,49 €
Titel: Introduction to Formal Hardware Verification, Einband: Buch, Autor: Thomas Kropf, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 312, Maße: 240x161x23 mm, Gewicht: 634 g, Verkäufer: buch-mimpf, Schlagworte: Computer / PC-Hardware EDV / Theorie / Informatik / Allgemeines Boolean function Hardware Hardware verification circuit design complexity logic proving theorem proving verification.
Jetzt bei Ebay:
