Libri di Daniel Kroening
Tutti i risultati (9)
-
Decision Procedures: An Algorithmic Point of View
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2018Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane65,30 € -
Decision Procedures: An Algorithmic Point of View
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2017Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane98,50 € -
Decision Procedures: An Algorithmic Point of View
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2008Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane82,00 € -
Validation of Evolving Software
Venditore: FeltrinelliSpringer International Publishing AG, 2016Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane67,50 € -
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 & TechnologyDisponibilità 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 & TechnologyDisponibilità in 2 settimane66,90 € -
Verified Software: Theories, Tools and Experiments: 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers
Venditore: FeltrinelliSpringer International Publishing AG, 2014Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane68,10 € -
Validation of Evolving Software
Venditore: FeltrinelliSpringer International Publishing AG, 2015Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane62,60 € -
Model Checking
Venditore: Feltrinelli86,02 €
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.
