«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 125 b
51.09 €
Almacenamiento externo Envío en 5-8 días

Hasta 30 días para devoluciones

Clientes que también han comprado

Golem Elvire Murail / Libro Tapa blanda
common.buy 27.49 €
Hiszpański. Ćwiczenia tematyczne dla początkujących Anna Wawrykowicz / Libro Tapa blanda
common.buy 10.29 €
Bakuman - Tome 13 Takeshi Obata / Libro Tapa blanda
common.buy 10.39 €
Glaces Hakim / Libro Tapa blanda
common.buy 29.79 €
Cuaderno de Ortografía Cantada: 6º de primaria. Método ideográfico y audiovisual (enseñanza basada e Álamo Vaquera / Libro Anillas de fijación
common.buy 21.29 €
Extrait Des Reglemens d'Octobre 1735, Qui Ordonnent La Consignation Des Amendes, Et Le Recouvrement France / Libro Tapa blanda
common.buy 16.09 €
Animales del páramo David Rodríguez / Libro Tapa blanda
common.buy 20.09 €
MOLLERUSSA YEGUAS I GASSO / Libro Tapa blanda
common.buy 10.09 €
Irreverente PILAR MARTIN PEREZ / Libro Tapa blanda
common.buy 15.59 €
Über Leben Reinhold Messner / Libro Tapa dura
common.buy 21.69 €
CI Vorrebbe Un Amico Mario Boccia / Libro Tapa blanda
common.buy 10.69 €
Ost-West-Konflikt aus der Perspektive des Neorealismus Olaf Borgmeier / Libro Tapa blanda
common.buy 17.89 €
Jean-Claude Juncker Margaretha Kopeinig / Libro electrónico Adobe ePub DRM
common.buy 17.39 €
La Revista Moderna, Volumes 1-2... Martín Aldao / Libro Tapa dura
common.buy 40.69 €
Dragonboule - Nouvelle Edition - Tome 1 Davy Mourier / Libro Tapa blanda
common.buy 19.39 €
Stadt Hamburg (Wandkalender 2026 DIN A3 quer), CALVENDO Monatskalender Calvendo / Calendario/Diario Calendario
common.buy 29.69 €
Rocker Devil. Slide und Ellen Bärbel Muschiol / Libro Tapa blanda
common.buy 12.99 €
Construccion Social de La Ensenanza; Una Aproximacion Antropologica Juan Jesús Velasco Orozco / Libro Tapa blanda
common.buy 43.29 €
Ropajes de La Oscuridad y del Silencio Nelson Torres Pe a / Libro Tapa blanda
common.buy 11.69 €
Pathogenese und Klinik der Harnsteine G. Gasser / Libro Tapa blanda
common.buy 51.29 €
Jim Knopf und die Wilde 13 - Teil 1: Das Meeresleuchten, 2 Audio-CD Michael Ende / Audio CD de audio
common.buy 13.89 €
Management von Netzwerkorganisationen Jörg Sydow / Libro Tapa blanda
common.buy 76.19 €
Natur und Kunst als Spiegel der Seele Peter W. Schatt / Libro Tapa blanda
common.buy 17.89 €
Mercados laborales locales y riesgo de exclusión en la Región de Murcia Antonio . . . [et al. ] Losa Carmona / Libro Tapa blanda
common.buy 18.39 €

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 €
Unfreezing the Arctic Andrew Stuhl / Libro Tapa dura
common.buy 45.79 €
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 10.29 €
The Unified Gospels - The Complete Life Of Christ In The World Of The Evangelists John W. Lea / Libro Tapa blanda
common.buy 27.59 €
All Things New 2015 - 2016 Wayne Fowler / Libro Tapa dura
common.buy 36.09 €
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 253.59 €
Popular
To Be Read at Dusk Charles Dickens / Libro Tapa blanda
common.buy 4.89 €
Drillmaster's Platoon/Flight & Drill Team Coach's Field Manual John Marshall / Libro Tapa blanda
common.buy 32.19 €
Dan the Rescue Man Rachelle Hawes / Libro Tapa blanda
common.buy 13.99 €
Testimonies of His Love Lisa N Aldridge - Jones / Libro Tapa blanda
common.buy 14.79 €
The Mystic Youth Of Jesus Yogi Ramacharaka / Libro Tapa blanda
common.buy 19.09 €
History of Modern Morocco Susan Gilson Miller / Libro Tapa dura
common.buy 111.29 €
Civilized America. Volume 2 of 2 Thomas Colley Grattan / Libro Tapa blanda
common.buy 28.79 €
Popular
A Rose Veiled in Black: Art and Arcana of Our Lady Babalon Robert Fitzgerald / Libro Tapa blanda
common.buy 24.29 €
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 178.39 €
Toll Road Girls 7 J Ware / Libro Tapa blanda
common.buy 8.29 €

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
Asesor de libros Libroamiko
Hola, soy Libroamiko, ¿puedo ayudarte?