«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 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers

Idioma InglésInglés
Libro Tapa blanda
Libro Types for Proofs and Programs Thorsten Altenkirch
Código Libristo: 01569105
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, octubre 2007
This book constitutes the thoroughly refereed post-proceedings of the annual International Workshop... Descripción completa
? points 148 b
60.39 €
Almacenamiento externo en pequeñas cantidades Envío en 13-18 días

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

Clientes que también han comprado

Lecturas para estrenarse en psicología GEMMA Y OTROS PEIRO BALLESTIN / Libro Tapa blanda
common.buy 18.69 €
Deathbook Curval / Libro Tapa blanda
common.buy 5.59 €
MAPA TOP 25 SIERRA Y CAÑONES DE GUARA II ZONA ORIENTAL PRAMES / Libro Tapa blanda
common.buy 14.89 €
Piratería en la antigüedad : un ensayo sobre historia del Mediterráneo Henry Ardene Ormerod / Libro Tapa blanda
common.buy 23.89 €
Como Animar um Capricorniano Mary English / Libro Tapa blanda
common.buy 28.59 €
Comentarios a la constitución "Gaudium et spes" Ángel Herrera Oria / Libro Tapa dura
common.buy 19.69 €
Limitsiz Yasam Nick Vujicic / Libro Tapa blanda
common.buy 12.19 €
SparkofPhoenix: 200 Dinge in Minecraft, die du noch nicht wusstest SparkofPhoenix / Libro Tapa blanda
common.buy 13.69 €
Extraits de margousier (Azadirachta indica A. Juss) pour le traitement des semences Ruth Abreu Araújo / Libro Tapa blanda
common.buy 39.39 €
Popular
Sur le jeu d'acteur Meisner SANFORD / Libro Tapa blanda
common.buy 30.39 €
Die Bedeutung von Musik für Kinder in ihrer Entwicklung und in ihrem lebensweltlichen Kontext Monika Jenke / Libro Tapa blanda
common.buy 27.69 €
El hombre que se habita Adriano Meschi / Libro Tapa blanda
common.buy 18.49 €
Escape Rooms für zu Hause selbst gestalten Christine Sinnwell-Backes / Libro Tapa blanda
common.buy 9.59 €
Thematische woordenschat Nederlands-Afrikaans - 9000 woorden Andrey Taranov / Libro Tapa blanda
common.buy 16.29 €
Nimetoka Italia ! L'Epopea Dei Volontari e Missionari Italiani Nella Guerra D'uganda con Francesca Faramondi / Libro Tapa blanda
common.buy 21.29 €
Desarrollo global de software Félix O. García Rubio / Libro Tapa blanda
common.buy 36.89 €
dito e la luna. Riflessioni su filosofia, fede e politica Emanuele Severino / Libro Tapa blanda
common.buy 19.99 €
Eisenbahn-Geleise A. Haarman / Libro Tapa blanda
common.buy 30.59 €
Zázraky Valentín Šefčík / Libro Tapa dura
common.buy 12.69 €
WALTER D. NAG WIND ENSEMBLE SCORE/PARTS WALTER Libro binding.
common.buy 49.39 €
L'Afrique noire victime de ses péchés Oulatta / Libro Tapa blanda
common.buy 31.59 €
PORTRAIT D'UN MILLIARDAIRE MALHEUREUX BOSQUET / Libro Tapa blanda
common.buy 86.89 €
Megúszós kaják Fördős Zé / Libro Tapa dura
common.buy 19.39 €
Histoire de l'Afrique Septentrionale (Berberie). T 1 (Ed.1888) Ernest Mercier / Libro Tapa blanda
common.buy 32.29 €

This book constitutes the thoroughly refereed post-proceedings of the annual International Workshop of the Types Working Group, TYPES 2006, held in Nottingham, UK in April 2006 - co-located with the Seventh Symposium on Trends in Functional Programming, TFP 2006.§The 17 revised full papers presented were carefully reviewed and selected from 29 submissions. All current issues of formal reasoning and computer programming based on type theory are addressed; in particular languages and computerised tools for reasoning, and applications in several domains such as analysis of programming languages, certified software, formalisation of mathematics and mathematics education.

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 Thorsten Altenkirch, Conor McBride
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2007
Número de páginas 272
EAN 9783540744634
ISBN 3540744630
Código Libristo 01569105
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 900
Dimensiones 155 x 235 x 18

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 > Ciencias de la computación > Teoría matemática de la computación > Matemáticas para informáticos
Computación e informática > Programación informática/desarrollo de software > Compiladores e intérpretes
Computación e informática > Programación informática/desarrollo de software > Lenguajes de programación y extensión/scripting: general
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
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

Internet of Things, Smart Spaces, and Next Generation Networking Sergey Andreev / Libro Tapa blanda
common.buy 56.59 €
Radiation and Cellular Control Processes J. Kiefer / Libro Tapa blanda
common.buy 112.79 €
Gustavus Adolphus: The Life and Legacy of Sweden's Most Famous King Charles River Editors / Libro Tapa blanda
common.buy 11.79 €
Champ Ferguson Thurman Sensing / Libro Tapa blanda
common.buy 48.19 €
What Does the Referee Do? Margaret MacDonald / Libro Tapa blanda
common.buy 8.49 €
Firefly Wildlife Atlas: A Comprehensive Guide to Animal Habitats John Farndon / Libro Tapa blanda
common.buy 15.29 €
Cultures of Sustainability and Wellbeing Paola Spinozzi / Libro Tapa dura
common.buy 215.89 €
The Law of Bills of Sale: With an Appendix of Precedents and Statutes / By George Edward Lyon and Joseph Haworth Redman. George Edward Lyon / Libro Tapa blanda
common.buy 24.09 €
60 Subtraction Worksheets with 2-Digit Minuends, 2-Digit Subtrahends: Math Practice Workbook Kapoo Stem / Libro Tapa blanda
common.buy 13.59 €
The Top 50 Underrated NFL Wide Receivers MR Rashad Skyla Mitchell / Libro Tapa blanda
common.buy 6.99 €
Some Brief Remarks upon Sundry Important Subjects John Griffith / Libro Tapa blanda
common.buy 16.89 €
Brush with the Chinese and What Came of it G. A. Henty / Libro Tapa dura
common.buy 15.09 €
100 First Dinosaur Words DK / Libro Libro de concertinas
common.buy 10.19 €
Opinionated Guide To London Green Spaces Marco Kesseler / Libro Tapa blanda
common.buy 11.59 €
Salman Rushdie and Translation Jenni Ramone / Libro Tapa dura
common.buy 205.49 €
Prosperity And How It Must Come: Economic Facts For Workers And Preachers (1914) Roger Ward Babson / Libro Tapa blanda
common.buy 23.89 €
Essential Touring Car RC Racer's Guide Dave B Stevens / Libro Tapa blanda
common.buy 43.59 €
Clostridioides difficile Infection Guido Granata / Libro Tapa dura
common.buy 47.49 €
Bob + Barb Present... Books! Books!! Books!!! Bob and Barb Studios / Libro Tapa dura
common.buy 23.99 €
Popular
Miraculous: Tales of Ladybug & Cat Noir 2 Zag / Libro Tapa blanda
common.buy 8.99 €
VMware Cloud on AWS Christophe Lombard / Libro Tapa blanda
common.buy 47.39 €
Toddlers Fun - A Black Children's Coloring Book Kyle Davis / Libro Tapa blanda
common.buy 8.89 €
Tracker Jeffery Deaver / Libro Tapa blanda
common.buy 15.89 €
The Warlord Era Laszlo Montgomery / Libro Tapa blanda
common.buy 18.09 €

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?