Libri di Thomas Kropf
Tutti i risultati (4)
-
Introduction to Formal Hardware Verification
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2010Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane68,30 € -
Correct Hardware Design and Verification Methods: 10th IFIP WG10.5 Advanced Research Working Conference, CHARME'99, Bad Herrenalb, Germany, September 27-29, 1999, Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1999Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane67,90 € -
Formal Hardware Verification: Methods and Systems in Comparison
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1997Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane62,60 € -
Theorem Provers in Circuit Design: Theory, Practice and Experience: Second International Conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994. Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1995Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane68,20 €
Informazioni sull’ordinamento
Vengono mostrati per primi i prodotti che rispondono a questi criteri: rilevanza rispetto alla ricerca, dati di venduto, disponibilità, data di pubblicazione, tipologia di prodotto, personalizzazione ad eccezione delle sponsorizzazioni.
