Libri di Iman Poernomo
Tutti i risultati (3)
-
Component-Based Software Engineering: 12th International Symposium, CBSE 2009 East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2009Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane68,50 € -
Adapting Proofs-as-Programs: The Curry--Howard Protocol
Venditore: FeltrinelliSpringer-Verlag New York Inc., 2010Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane247,20 € -
Adapting Proofs-as-Programs: The Curry--Howard Protocol
Venditore: Feltrinelli206,30 €
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.
