Libri di Annabelle Mciver
Tutti i risultati (5)
-
Quantitative Evaluation of Systems: 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings
Venditore: FeltrinelliSpringer International Publishing AG, 2018Libri in Inglese | MathematicsDisponibilità in 2 settimane67,60 € -
The Science of Quantitative Information Flow
Venditore: FeltrinelliSpringer International Publishing AG, 2020Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane71,30 € -
Formal Methods – The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings
Venditore: FeltrinelliSpringer Nature Switzerland AG, 2019Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane65,40 € -
Abstraction, Refinement and Proof for Probabilistic Systems
Venditore: Feltrinelli199,00 € -
Abstraction, Refinement and Proof for Probabilistic Systems
Venditore: Feltrinelli206,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.
