Certified reasoning on real numbers and objects in co-inductive type theory. 1.

Name: Certified reasoning on real numbers and objects in co-inductive type theory. 1.
Author: Alberto Ciaffaglione

Alberto Ciaffaglione

Prezzo: € 15,00
Aggiungi a lista dei desideri

Prodotto fuori catalogo

Titolo: Certified reasoning on real numbers and objects in co-inductive type theory. 1.
Autore: Alberto Ciaffaglione
Curatore:
Traduttore:
Illustratore:
Editore: Forum Edizioni
Collana:
Data di Pubblicazione:
Pagine:
Formato:
ISBN: 9788884201508
Informatica - Informatica