Certified reasoning on real numbers and objects in co-inductive type theory. 1.
Alberto Ciaffaglione
Prodotto fuori catalogo
Dettagli Libro
- 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
Libri che ti potrebbero interessare
Babil II. The returner: 3
Noguchi Takashi, Yokoyama Mitsuteru
Insegnare il Qigong
Tassi Alessandra
Geografia verde 2.0
Capineri Cristina
Tutor Hitman Reborn: 2
Amano Akira
Supernova Express
M. Zolin
Ghost works
Joe Prozac
Diabolus in musika
Walter Diociaiuti
Jeremy
Cherri Laura
Transfer pricing
Guerrino Sozza
I libri più cercati
-
L'uomo dalla macchina per scrivere
Campos Fernando -
Filottete
Sofocle, A. Masaracchia, M. Boggio -
Nati per scrivere. Il paesaggio fuori e dentro di ...
Ludovica Danieli, Giorgio Macario -
Matematica.blu 2.0 - volume 5 (soltanto pdf scaric...
Graziella Barozzi, Massimo Bergamini, Anna Trifone -
One piece. Celebration edition. Con gadget. Con Po...
Eiichiro Oda
Categorie
- Agricoltura
- Antropologia
- Archeologia
- Architettura
- Arte e fotografia
- Astronomia
- Bambini e ragazzi
- Benessere e tempo libero
- Biblioteconomia
- Biografie e memorie
- Biologia
- Botanica
- Chimica
- Cinema e spettacolo
- Cucina
- Design e grafica
- Diritto
- Ecologia e ambiente
- Economia
- Filosofia
- Fisica
- Fumetti
- Geografia
- Giardinaggio
- Informatica
- Ingegneria
- Lingue straniere
- Linguistica
- Matematica
- Medicina
- Metodologia scientifica
- Musica
- Narrativa
- Non catalogati
- Opere di consultazione
- Psicologia
- Religione
- Scuola ed educazione
- Società
- Sociologia
- Sport
- Storia
- Studi letterari
- Veterinaria
- Viaggi
- Zoologia