Libri di Gerard Holzmann
-
NASA Formal Methods: 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings
Venditore: FeltrinelliSpringer International Publishing AG, 2015Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane67,40 € -
SPIN Model Checker, The: Primer and Reference Manual
Venditore: FeltrinelliPearson Education (US), 2011Libri in Inglese | Science, Computer & TechnologyAttualmente non disponibile83,23 €
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.