Libri di Fabio Somenzi
-
Computer Aided Verification: 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2003Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane65,00 € -
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 € -
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.