{{wishlistCounter}}

Consegna Sempre GRATIS nella Tua Libreria

Consegna Gratis in Italia su ordini online da 25€

Libri di Gerwin Klein

Tutti i risultati (3)

Ordina per

Cerca nel reparto

Ordina per

Concrete Semantics: With Isabelle/HOL

di Tobias Nipkow, Gerwin Klein
Springer International Publishing AG, 2016
0

Recensioni: 0/5

(0)

Libri in Inglese | Science, Computer & Technology

Disp. in 2 settimane

66,10 €

Venditore: Feltrinelli
Concrete Semantics: With Isabelle/HOL

di Tobias Nipkow, Gerwin Klein
Springer International Publishing AG, 2014
0

Recensioni: 0/5

(0)

Libri in Inglese | Science, Computer & Technology

Disp. in 2 settimane

99,20 €

Venditore: Feltrinelli
Interactive Theorem Proving: 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings

Springer International Publishing AG, 2014
0

Recensioni: 0/5

(0)

Libri in Inglese | Science, Computer & Technology

Disp. in 2 settimane

66,70 €

Venditore: Feltrinelli

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.