Controllare lo stato dell'ordine
LIBRISTO
LIBROAMANTO
obbligatorio
Password dimenticata
Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito
0
Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €
Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € DHL 6.99 € GLS 7.99 €
phone Contatto phoneCome acquistare
Spedizione gratuita per ordini superiori a 69,99 euro.

Types for Proofs and Programs

International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003. Revised Selected Papers

Lingua IngleseInglese
Libro In brossura
Libro Types for Proofs and Programs Stefano Berardi
Codice Libristo: 01559460
Casa editrice Springer, Berlin, novembre 2003
This book constitutes the thoroughly refereed post-proceedings of the Third International Workshop o... Descrizione completa
? points 132 b
53.79 €
Magazzino esterno Inviamo tra 5-8 giorni

30 giorni per il reso

I clienti hanno acquistato anche

Vinda do Kaiser H H Munro (Saki) / Libro In brossura
common.buy 10.69 €
Śmierć w rodzinie. Trudne sprawy. Przygody Fenka Dominika Gałka / Libro In brossura
common.buy 4.19 €
Midnight Scandal Sex Neneko Narazaki / Libro In brossura
common.buy 8.89 €

This book constitutes the thoroughly refereed post-proceedings of the Third International Workshop of the Types Working Group, TYPES 2003, held in Torino, Italy in April/May 2003.The 25 revised full papers presented were carefully selected during two rounds of reviewing and improvement. All current issues in type theory and type systems and their applications to programming, systems design, and proof theory are addressed. Among the systems dealt with are Isabelle/Isar, PAF!, and Coq.

Attrice & Poliglotta
EWA KASP per
Riproduci video
Ewa Kasp
Libristo ha la più grande selezione di letteratura in lingue straniere. Per questo compro i miei libri qui.

Informazioni sul libro

Titolo completo Types for Proofs and Programs
Autore Stefano Berardi, Mario Coppo, Ferruccio Damiani
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2004
Numero di pagine 412
EAN 9783540221647
ISBN 3540221646
Codice Libristo 01559460
Casa editrice Springer, Berlin
Peso 600
Dimensioni 156 x 234 x 22

Categorie

Tecnologia, Ingegneria, Agricoltura, processi industriali > Ingegneria elettronica e delle comunicazioni > Ingegneria elettronica > Ingegneria del controllo automatico > Robotica
Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Compilatori e interpreti
Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Linguaggi di programmazione e scripting: generale
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Teoria matematica della computazione
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Architettura e progettazione logica dei computer
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Intelligenza artificiale
Regala questo libro oggi stesso
È facile
1 Aggiungi il libro al carrello e scegli la consegna come regalo 2 Ti invieremo subito il buono 3 Il libro arriverà all'indirizzo del destinatario

Potrebbe interessarti anche

Theories of Group Behavior Brian Mullen / Libro Rigido
common.buy 94.39 €
New Canadian Realisms Roberta Barker / Libro In brossura
common.buy 28.19 €
Life on the Farm - Adventure with the Cats Dovie G. Therriault -. Bruder / Libro In brossura
common.buy 17.39 €
RIGBY PM PLUS Rigby / Libro In brossura
common.buy 79.69 €
The Law of Nations: Investigated in a Popular Manner: Addressed to the Farmers of the United States. William J Duane / Libro In brossura
common.buy 16.39 €

Accesso

Accedi al tuo account. Non hai ancora un account Libristo? Crealo ora!

 
obbligatorio
obbligatorio
Password dimenticata

Non hai un account? Ottieni i vantaggi di un account Libristo!

Con un account Libristo, avrai tutto sotto controllo.

Crea un account Libristo
Consulente di libri Libroamiko
Ciao, sono Libroamiko, posso aiutarti?