Libri di Alberto Ciaffaglione
Bibliografia di Alberto Ciaffaglione: tutti i libri in vendita online
Su Unilibro trovi i libri di Alberto Ciaffaglione in vendita online: scopri la bibliografia dell'autore, le ultime uscite e le offerte disponibili.
Consulta la cronologia dei libri di Alberto Ciaffaglione, scegli il titolo che ti interessa, aggiungilo al carrello e completa l'acquisto in pochi clic.
LIBRO 9788884201508
Certified reasoning on real numbers and objects in co-inductive type theory. Vol. 1 Ciaffaglione Alberto - Forum Edizioni, 2003 - Phd Thesis Series
Certified reasoning on real numbers and objects in co-inductive type theory. Vol. 1 - Forum Edizioni
€ 15.00