Libri di Roderick Bloem
Tutti i risultati (4)
-
Hardware and Software: Verification and Testing: 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings
Venditore: FeltrinelliSpringer International Publishing AG, 2016Libri in Inglese | Science, Computer & TechnologyDisp. in 2 settimane68,90 € -
Trusted Systems: 5th International Conference, INTRUST 2013, Graz, Austria, December 4-5, 2013, Proceedings
Venditore: FeltrinelliSpringer International Publishing AG, 2013Libri in Inglese | Science, Computer & TechnologyDisp. in 2 settimane69,50 € -
Decidability of Parameterized Verification
Venditore: FeltrinelliSpringer International Publishing AG, 2015Libri in Inglese | Science, Computer & TechnologyDisp. in 2 settimane62,80 € -
Software Verification: 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18–19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18–19, 2021, Revised Selected Papers
Venditore: FeltrinelliSpringer Nature Switzerland AG, 2022Libri in Inglese | Science, Computer & TechnologyDisp. in 2 settimane75,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.
