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 '95, Torino, Italy, June 5-8, 1995. Selected Papers

Lingua IngleseInglese
Libro In brossura
Libro Types for Proofs and Programs Stefano Berardi
Codice Libristo: 05274627
Casa editrice Springer, Berlin, novembre 1995
This volume contains a refereed selection of revised full papers chosen from the contributions prese... Descrizione completa
? points 132 b
53.79 €
Magazzino esterno Inviamo tra 5-8 giorni

30 giorni per il reso

I clienti hanno acquistato anche

Ken Laszlo (Deluxe Edition) Ken Laszlo / Audio CD audio
common.buy 17.19 €
Caracteres Lu Par Denis Podalydes (Les) Bruyere La / Audio CD audio
common.buy 37.99 €
Zadní pokoj Jorn Lier Horst / Libro Rigido
common.buy 15.19 €
MANAGEMENT DES ENTREPRISES BTS 2E ANNEE POCHETTE REFLEXE LIVRE DU PROFESSEUR 2009 Marie-José Chacon / Libro In brossura
common.buy 29.89 €
Vive l'Europe ! Bizet Libro In brossura
common.buy 17.29 €
Pan Bůh a paní Bohová mají krizi Ivan Lupták / Libro In brossura
common.buy 13.59 €
Würfelspiel: Kriss Kross - Wer erreicht die höchste Punktzahl? Reiner Knizia / Gioco/giocattolo Gioco
common.buy 13.99 €
AUTOFAGIA VENTURA MEDINA / Libro In brossura
common.buy 25.69 €
Eine wirtschaftliche Analyse der Umweltauswirkungen der Viehweide Onon Bayasgalan / Libro In brossura
common.buy 33.59 €
Brainstorming Andrea Windolph / Libro In brossura
common.buy 9.49 €
Weidenrute und Schwert Gerwalt Richardson / Libro In brossura
common.buy 14.59 €
Leiden unsers Herren Jesu Christi Johannes Brassart / Libro In brossura
common.buy 20.59 €
Inventaire Des Meubles Et Titres de Jean-Hector de Fay, Marquis de la Tour-Maubourg, Marechal CHARREYRE-A / Libro In brossura
common.buy 15.09 €
Ayudas públicas y libre competencia en el sector audiovisual Sara Medina González / Libro In brossura
common.buy 43.39 €
Ludwig II. Christine Tauber / Libro Rigido
common.buy 11.29 €
Oeuvres Choisies de M. Eugene Sue. Fernand Duplessis, Memoires d'Un Mari Eugene Sue / Libro In brossura
common.buy 18.09 €
Artesanias María Leonor Aguilar García / Libro In brossura
common.buy 27.19 €
Musikgeschichte(n) HANS BA LER / Libro binding.
common.buy 35.29 €
Impacto economico de la inocuidad en el sector agroexportador Alejandro Vaquero Vera / Libro In brossura
common.buy 46.59 €
Die Herren von Greifenklau Karl May / Libro Rigido
common.buy 26.29 €

This volume contains a refereed selection of revised full papers chosen from the contributions presented during the Third Annual Workshop held under the auspices of the ESPRIT Basic Research Action 6453 Types for Proofs and Programs. The workshop took place in Torino, Italy, in June 1995.Type theory is a formalism in which theorems and proofs, specifications and programs can be represented in a uniform way. The 19 papers included in the book deal with foundations of type theory, logical frameworks, and implementations and applications; all in all they constitute a state-of-the-art survey for the area of type theory.

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
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 1996
Numero di pagine 298
EAN 9783540617808
ISBN 3540617809
Codice Libristo 05274627
Casa editrice Springer, Berlin
Peso 474
Dimensioni 156 x 234 x 16

Categorie

Tecnologia, Ingegneria, Agricoltura, processi industriali > Ingegneria elettronica e delle comunicazioni > Ingegneria elettronica > Ingegneria del controllo automatico > Robotica
Matematica e Scienze > Matematica > Fondamenti della matematica > Logica matematica
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 > Programmazione / ingegneria del software > Ingegneria del software
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
Informatica e Tecnologia dell’Informazione > Sistemi operativi
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

I migliori
Bones & All Camille DeAngelis / Libro In brossura
common.buy 11.09 €
Fundamental Phenomena in the Materials Sciences L. J. Bonis / Libro In brossura
common.buy 57.79 €
Restaurant and Bar Design II Zheng Siyu / Libro Rigido
common.buy 83.89 €
Seeing Angels Emma Heathcote-James / Libro Rigido
common.buy 28.19 €
Christmas Wish Gregory Porter / Audio Vinile audio
common.buy 32.59 €
GS^2 Green Solution Generative System Abou-Elenein Ahmed / Libro In brossura
common.buy 74.39 €
2 Peter and Jude - Concordia Commentary Curtis Giese / Libro Rigido
common.buy 109.69 €
Charles Dickens, The Story Of His Life (1870) John Camden Hotten / Libro Rigido
common.buy 36.59 €
Spatial Analysis for Complex Territorial Systems Luca Salvati / Libro In brossura
common.buy 215.89 €
In preparazione
Bloody Provost R.A.J. Tyler / Libro Rigido
common.buy 22.39 €
Biographical Sketches of Joseph Smith the Prophet and His Progenitors for Many Generations Lucy Smith / Libro In brossura
common.buy 39.69 €
Struggle for Recognition in International Relations Murray / Libro Rigido
common.buy 87.39 €
Audio-Vision: Sound on Screen Claudia Gorbman / Libro In brossura
common.buy 32.59 €
Industrial Fuels Joseph Stephenson / Libro Rigido
common.buy 32.79 €
Female Hustler Part 4: All I See Is The Money... Joy Deja King / Libro In brossura
common.buy 18.19 €
Heartbreaker Nick Louth / Libro In brossura
common.buy 19.39 €
Selling Modernity Pamela E. Swett / Libro Rigido
common.buy 172.99 €
Transforming Nursing Education through Problem-Based Learning Elizabeth Rideout / Libro In brossura
common.buy 74.89 €
What Did the Biblical Writers Know and When Did They Know it? Dever / Libro In brossura
common.buy 25.79 €
Spoken Natural Language Dialog Systems Ronnie W. Smith / Libro Rigido
common.buy 128.59 €
Biology of Memory G. Adam / Libro In brossura
common.buy 53.79 €
Cairo Trilogy Naguib Mahfouz / Libro Rigido
common.buy 33.39 €
Talk Fiction Irene Kacandes / Libro In brossura
common.buy 39.09 €
Quantum Field Theory And Beyond: Essays In Honor Of Wolfhart Zimmermann - Proceedings Of The Symposium In Honor Of Wolfhart Zimmermann's 80th Birthday Erhard Seiler / Libro Rigido
common.buy 149.09 €

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?