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 '93, Nijmegen, The Netherlands, May 24-28, 1993. Selected Papers

Lingua IngleseInglese
Libro In brossura
Libro Types for Proofs and Programs Henk Barendregt
Codice Libristo: 05274389
Casa editrice Springer, Berlin, novembre 1993
This volume contains thoroughly refereed and revised full papers selected from the presentations at... Descrizione completa
? points 132 b
53.79 €
Magazzino esterno Inviamo tra 5-8 giorni

30 giorni per il reso

I clienti hanno acquistato anche

MOLLERUSSA YEGUAS I GASSO / Libro In brossura
common.buy 11.29 €
Golem Elvire Murail / Libro In brossura
common.buy 28.39 €
Glaces Hakim / Libro In brossura
common.buy 30.79 €
Bakuman - Tome 13 Takeshi Obata / Libro In brossura
common.buy 10.89 €
Stadt Hamburg (Wandkalender 2026 DIN A3 quer), CALVENDO Monatskalender Calvendo / Calendario/Agenda Calendario
common.buy 31.49 €
Hiszpański. Ćwiczenia tematyczne dla początkujących Anna Wawrykowicz / Libro In brossura
common.buy 10.29 €
Animales del páramo David Rodríguez / Libro In brossura
common.buy 22.29 €
Irreverente PILAR MARTIN PEREZ / Libro In brossura
common.buy 15.59 €
Über Leben Reinhold Messner / Libro Rigido
common.buy 23.09 €
CI Vorrebbe Un Amico Mario Boccia / Libro In brossura
common.buy 10.69 €
Dragonboule - Nouvelle Edition - Tome 1 Davy Mourier / Libro In brossura
common.buy 20.09 €
Ost-West-Konflikt aus der Perspektive des Neorealismus Olaf Borgmeier / Libro In brossura
common.buy 16.89 €
Aguas azules para una batalla Fabra / Audiolibro MP3
common.buy 9.99 €
Jean-Claude Juncker Margaretha Kopeinig / Libro elettronico Adobe ePub DRM
common.buy 17.19 €
La Revista Moderna, Volumes 1-2... Martín Aldao / Libro Rigido
common.buy 40.69 €
Rocker Devil. Slide und Ellen Bärbel Muschiol / Libro In brossura
common.buy 12.39 €
Pathogenese und Klinik der Harnsteine G. Gasser / Libro In brossura
common.buy 54.19 €
Ropajes de La Oscuridad y del Silencio Nelson Torres Pe a / Libro In brossura
common.buy 11.69 €
Jim Knopf und die Wilde 13 - Teil 1: Das Meeresleuchten, 2 Audio-CD Michael Ende / Audio CD audio
common.buy 13.69 €
Management von Netzwerkorganisationen Jörg Sydow / Libro In brossura
common.buy 80.29 €
Mercados laborales locales y riesgo de exclusión en la Región de Murcia Antonio . . . [et al. ] Losa Carmona / Libro In brossura
common.buy 20.29 €
Natur und Kunst als Spiegel der Seele Peter W. Schatt / Libro In brossura
common.buy 16.89 €
Fundamentos físicos de la edificación Blasco Laffón / Libro In brossura
common.buy 44.19 €
CRÓNICAS DE LOS SAMURÁIS R. IBARZABAL / Audio CD audio
common.buy 29.29 €

This volume contains thoroughly refereed and revised full papers selected from the presentations at the first workshop held under the auspices of the ESPRIT Basic Research Action 6453 Types for Proofs and Programs in Nijmegen, The Netherlands, in May 1993.As the whole ESPRIT BRA 6453, this volume is devoted to the theoretical foundations, design and applications of systems for theory development. Such systems help in designing mathematical axiomatisation, performing computer-aided logical reasoning, and managing databases of mathematical facts; they are also known as proof assistants or proof checkers.

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 Henk Barendregt, Tobias Nipkow
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 1994
Numero di pagine 395
EAN 9783540580850
ISBN 3540580859
Codice Libristo 05274389
Casa editrice Springer, Berlin
Peso 526
Dimensioni 155 x 233 x 21

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 > 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

Lambda Calculus. Its Syntax and Semantics Henk Barendregt / Libro In brossura
common.buy 32.79 €
Lambda Calculus with Types Henk Barendregt / Libro Rigido
common.buy 113.29 €
Some Extensional Term Models for Combinatory Logics and Lambda Calculi 1971 Henk Barendregt / Libro In brossura
common.buy 20.09 €
Mardi Gras Rebecca Pettiford / Libro Rigido
common.buy 11.59 €
Biotechnology Entrepreneurship Bootcamp Arthur A. Boni / Libro In brossura
common.buy 62.69 €
Against Distance Peter Makuck / Libro In brossura
common.buy 11.89 €
The Unified Gospels - The Complete Life Of Christ In The World Of The Evangelists John W. Lea / Libro In brossura
common.buy 26.99 €
The Mystic Youth Of Jesus Yogi Ramacharaka / Libro In brossura
common.buy 19.09 €
Unfreezing the Arctic Andrew Stuhl / Libro Rigido
common.buy 43.99 €
Pop-Up Robert Wernli / Libro In brossura
common.buy 23.09 €
Clinton, New Terrorism and the Origins of the War on Terror Chin-Kuei Tsui / Libro Rigido
common.buy 231.49 €
I migliori
To Be Read at Dusk Charles Dickens / Libro In brossura
common.buy 3.79 €
Testimonies of His Love Lisa N Aldridge - Jones / Libro In brossura
common.buy 14.79 €
History of Modern Morocco Susan Gilson Miller / Libro Rigido
common.buy 111.29 €
All Things New 2015 - 2016 Wayne Fowler / Libro Rigido
common.buy 36.09 €
Economico
A Rose Veiled in Black: Art and Arcana of Our Lady Babalon Robert Fitzgerald / Libro In brossura
common.buy 15.99 €
Ama Betty Hallock / Libro Rigido
common.buy 24.39 €
Hiawatha Passing JEFF HAGEN / Libro In brossura
common.buy 18.79 €
Out of the Dark Gregg Hurwitz / Libro In brossura
common.buy 12.49 €
Handbook of Clinical Adult Genetics and Genomics Shweta Dhar / Libro In brossura
common.buy 182.79 €
Toll Road Girls 7 J Ware / Libro In brossura
common.buy 8.29 €
I migliori
Your Whole Body Misha Iver / Libro In brossura
common.buy 15.39 €
Mad about Shakespeare: From Classroom to Theatre to Emergency Room Jonathan Bate / Libro elettronico Adobe ePub DRM
common.buy 10.29 €
Economico
Mothers of The Nation The Ambiguous Role of Nazi Women in The Third Reich / Libro In brossura
common.buy 6.69 €

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