Libri di Gary D. Hachtel
-
Abstraction Refinement for Large Scale Model Checking
Venditore: FeltrinelliSpringer-Verlag New York Inc., 2014Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane175,30 € -
Logic Synthesis and Verification Algorithms
Venditore: FeltrinelliSpringer-Verlag New York Inc., 2013Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane106,60 € -
Logic Minimization Algorithms for VLSI Synthesis
Venditore: Feltrinelli250,00 € -
Logic Minimization Algorithms for VLSI Synthesis
Venditore: FeltrinelliKluwer Academic Publishers, 1984Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane245,00 € -
Abstraction Refinement for Large Scale Model Checking
Venditore: FeltrinelliSpringer-Verlag New York Inc., 2006Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane132,60 €
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.