Libri di Corina S. Pasareanu
Tutti i risultati (4)
-
Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I
Venditore: FeltrinelliSpringer International Publishing AG, 2015Libri in Inglese | Science, Computer & TechnologyDisp. in 2 settimane65,40 € -
Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II
Venditore: FeltrinelliSpringer International Publishing AG, 2015Libri in Inglese | Science, Computer & TechnologyDisp. in 2 settimane66,90 € -
Software Engineering and Formal Methods: 19th International Conference, SEFM 2021, Virtual Event, December 6–10, 2021, Proceedings
Venditore: FeltrinelliSpringer Nature Switzerland AG, 2021Libri in Inglese | Science, Computer & TechnologyDisp. in 2 settimane110,30 € -
Symbolic Execution and Quantitative Reasoning: Applications to Software Safety and Security
Venditore: FeltrinelliMorgan & Claypool Publishers, 2020Libri in Inglese | Science, Computer & TechnologyAttualmente non disponibile31,50 €
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.
