«Comprobar estado del pedido»
LIBRISTO
LIBROAMANTO
obligatorio
Contraseña olvidada
Entre a formar parte de una comunidad de amantes de los libros del mundo entero y acceda a un sinfín de ventajas. Crear una cuenta gratis
0
Envío gratuito con Zásilkovna para compras superiores a 59.99 €
Mensajería SEUR 4.99 € Mensajería GLS 7.99 € Mensajería Correos 5.49 € Mensajería DHL 5.49 € Punto SEUR 3.99 €
phone Contacto phoneCómo comprar
Envío gratis a partir de 69,99 euros.

Types for Proofs and Programs

International Workshop, TYPES '93, Nijmegen, The Netherlands, May 24-28, 1993. Selected Papers

Idioma InglésInglés
Libro Tapa blanda
Libro Types for Proofs and Programs Henk Barendregt
Código Libristo: 05274389
Editores Springer, Berlin, noviembre 1993
This volume contains thoroughly refereed and revised full papers selected from the presentations at... Descripción completa
? points 139 b
56.59 €
Almacenamiento externo Envío en 5-8 días

Política de devolución de 30 días

Clientes que también han comprado

MOLLERUSSA YEGUAS I GASSO / Libro Tapa blanda
common.buy 11.49 €
Golem Elvire Murail / Libro Tapa blanda
common.buy 27.69 €
Glaces Hakim / Libro Tapa blanda
common.buy 30.09 €
Bakuman - Tome 13 Takeshi Obata / Libro Tapa blanda
common.buy 10.69 €
Stadt Hamburg (Wandkalender 2026 DIN A3 quer), CALVENDO Monatskalender Calvendo / Calendario/Diario Calendario
common.buy 33.29 €
Hiszpański. Ćwiczenia tematyczne dla początkujących Anna Wawrykowicz / Libro Tapa blanda
common.buy 10.09 €
Animales del páramo David Rodríguez / Libro Tapa blanda
common.buy 21.69 €
Irreverente PILAR MARTIN PEREZ / Libro Tapa blanda
common.buy 15.99 €
Über Leben Reinhold Messner / Libro Tapa dura
common.buy 24.39 €
CI Vorrebbe Un Amico Mario Boccia / Libro Tapa blanda
common.buy 10.69 €
Dragonboule - Nouvelle Edition - Tome 1 Davy Mourier / Libro Tapa blanda
common.buy 19.59 €
Ost-West-Konflikt aus der Perspektive des Neorealismus Olaf Borgmeier / Libro Tapa blanda
common.buy 17.89 €
Aguas azules para una batalla Fabra / Audiolibro MP3
common.buy 10.19 €
Jean-Claude Juncker Margaretha Kopeinig / Libro electrónico Adobe ePub DRM
common.buy 17.49 €
La Revista Moderna, Volumes 1-2... Martín Aldao / Libro Tapa dura
common.buy 40.69 €
Rocker Devil. Slide und Ellen Bärbel Muschiol / Libro Tapa blanda
common.buy 12.99 €
Pathogenese und Klinik der Harnsteine G. Gasser / Libro Tapa blanda
common.buy 56.99 €
Ropajes de La Oscuridad y del Silencio Nelson Torres Pe a / Libro Tapa blanda
common.buy 11.69 €
Jim Knopf und die Wilde 13 - Teil 1: Das Meeresleuchten, 2 Audio-CD Michael Ende / Audio CD de audio
common.buy 13.99 €
Management von Netzwerkorganisationen Jörg Sydow / Libro Tapa blanda
common.buy 84.39 €
Mercados laborales locales y riesgo de exclusión en la Región de Murcia Antonio . . . [et al. ] Losa Carmona / Libro Tapa blanda
common.buy 19.79 €
Natur und Kunst als Spiegel der Seele Peter W. Schatt / Libro Tapa blanda
common.buy 17.89 €
Fundamentos físicos de la edificación Blasco Laffón / Libro Tapa blanda
common.buy 43.09 €
CRÓNICAS DE LOS SAMURÁIS R. IBARZABAL / Audio CD de audio
common.buy 28.49 €

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.

Actriz & Políglota
EWA KASP para
Visualizar el vídeo
Ewa Kasp
Libristo tiene la oferta más extensa de literatura en idiomas extranjeros. Por eso compran aquí sus libros.

Sobre el libro

Nombre y apellidos Types for Proofs and Programs
Autor Henk Barendregt, Tobias Nipkow
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 1994
Número de páginas 395
EAN 9783540580850
ISBN 3540580859
Código Libristo 05274389
Editores Springer, Berlin
Peso 526
Dimensiones 155 x 233 x 21

Categorías

Tecnología, ingeniería, agricultura, procedimientos industriales > Ingeniería electrónica y de las comunicaciones > Ingeniería electrónica > Ingeniería de control automático > Robótica
Computación e informática > Programación informática/desarrollo de software > Ingeniería del software
Computación e informática > Ciencias de la computación > Teoría matemática de la computación
Computación e informática > Ciencias de la computación > Arquitectura y diseño lógico de ordenadores
Computación e informática > Ciencias de la computación > Inteligencia artificial
Computación e informática > Sistemas operativos
Regale este libro hoy
Es fácil
1 Añadir al carrito y elegir Entregar como regalo en el checkout 2 Le enviaremos un vale 3 El libro llegará a la dirección del destinatario

También puede interesarle

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

Inicio de sesión

Inicie sesión en su cuenta. ¿No tiene una cuenta Libristo? ¡Cree una ahora!

 
obligatorio
obligatorio
Contraseña olvidada

¿No tiene cuenta? Descubra las ventajas de tener una cuenta Libristo.

Si tiene una cuenta Libristo, lo tendrá todo bajo control.

Crear una cuenta Libristo