Prezzo: € 15,00
Prodotto al momento non disponibile.
Titolo: Certified reasoning on real numbers and objects in co-inductive type theory. 1.
Autore:
Alberto Ciaffaglione
Editore: Forum Edizioni
Data di Pubblicazione: 0
Pagine:
Formato:
ISBN: 9788884201508