«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 '94, Bastad, Sweden, June 6-10, 1994. Selected Papers

Idioma InglésInglés
Libro Tapa blanda
Libro Types for Proofs and Programs Peter Dybjer
Código Libristo: 05274523
Editores Springer, Berlin, noviembre 1994
This book presents a strictly refereed collection of revised full papers selected from the papers ac... 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

Gömülü Samdan Stefan Zweig / Libro Tapa blanda
common.buy 11.19 €
Waylon university. La sfida Ilsa Madden-Mills / Libro Tapa blanda
common.buy 28.69 €
O Principezinho de Saint-Exupéry Antoine / Libro Tapa blanda
common.buy 11.29 €
Mein 24. Dezember Daniela Kunerl / Libro Hoja
common.buy 21.89 €
Erlaubte Vorteilsannahme - 331 StGB, 70 BBG, 10 BAT. Bernhard Hardtung / Libro Tapa blanda
common.buy 67.29 €
JUJUTSU KAISEN: UN CAMINO DE ESPINAS AL AMANECER (NOVELA 2) Gege Akutami / Libro Tapa blanda
common.buy 20.69 €
NEW SUMMER ENGLISH 6§EP SB+CD 09 / Libro Tapa blanda
common.buy 22.99 €
Los pájaros. Las ranas. Las asambleístas ARISTOFANES / Libro Tapa blanda
common.buy 14.99 €
LE GUIDE DU PREMIER TATOUAGE TATTOO / Libro Tapa blanda
common.buy 23.09 €
ESCRITOS SUBNORMALES (I, V. MONTALBAN) VAZQUEZ MONTALBAN / Libro binding.
common.buy 57.89 €
Zingaro, un théâtre pour les chevaux (titre provisoire) Pascaud / Libro Tapa blanda
common.buy 28.89 €
Lyrikanalyse Natascha Bea / Libro Tapa blanda
common.buy 15.89 €
DEPECHE MODE Edition inkl. XXL-Wandkalender 2025 + Ultra Cover-CD lim. 999 Exemplare / Libro Tapa dura
common.buy 22.09 €
Retailbanking im Spannungsfeld zwischen kurzfristigem Verkaufserfolg und langfristigem Kundennutzen Oliver U. Haas / Libro Tapa blanda
common.buy 42.39 €
Edemocracy & Egovernment Andreas Meier / Libro Tapa blanda
common.buy 46.69 €
Correr, comer, vivir SCOTT JUREK / Libro Tapa blanda
common.buy 19.39 €
Abenteuergeschichten zum gemeinsamen Lesen Luise Holthausen / Libro Tapa dura
common.buy 6.19 €
Asturiana Susaeta / Libro Tapa blanda
common.buy 8.09 €
Podrobný obrazový průvodce Uměním kaligrafie Abbey Sy / Libro Tapa blanda
common.buy 13.99 €
Grundlagen elektrischer Betriebsmittel Heinrich Hübscher / Libro Tapa blanda
common.buy 23.89 €
Elisa und der Schatten Napoleons Christine Fischer / Libro Tapa blanda
common.buy 13.99 €
Modelo de Competitividad Para Las Empresas de Manufactura En Venezuela Dalia Carolina Correa Osuna / Libro Tapa blanda
common.buy 48.29 €
Kurz odblokování čaker Ega Rasch / Libro Tapa dura
common.buy 10.49 €
Charlie se convierte en T-Rex SAM COPELAND / Libro Tapa dura
common.buy 23.49 €

This book presents a strictly refereed collection of revised full papers selected from the papers accepted for the TYPES '94 Workshop, held under the auspices of the ESPRIT Basic Research Action 6453 Types for Proofs and Programs in Bastad, Sweden, in June 1994.The 10 papers included address various aspects of developing computer-assisted proofs and programs using a logical framework. Type theory and three logical frameworks based on it are dealt with: ALF, Coq, and LEGO; other topics covered are metatheory, the Isabelle system, 2-calculus, proof checkers, and ZF set theory.

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 Peter Dybjer, Bengt Nordström, Jan Smith
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 1995
Número de páginas 210
EAN 9783540605799
ISBN 3540605797
Código Libristo 05274523
Editores Springer, Berlin
Peso 294
Dimensiones 155 x 233 x 12

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
Matemáticas y ciencias > Matemáticas > Fundamentos matemáticos > Lógica matemática
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 > 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

Automotive Traveler's Classic Car: Premiere Issue Richard Truesdell / Libro Tapa blanda
common.buy 20.09 €
Kakuro - 200 Logic Puzzles 12x12 (Volume 2) Michael Brown / Libro Tapa blanda
common.buy 7.99 €
Ultimate Christmas Colouring Book for Kids Feel Happy Books / Libro Tapa blanda
common.buy 10.29 €
Acta Soc. pro Fauna et Flora Fennica Societas Pro Fauna Et Flora Fennica / Libro Tapa blanda
common.buy 28.79 €
Harmonic Wealth: The Secret of Attracting the Life You Want James Arthur Ray / Libro Tapa blanda
common.buy 20.09 €
Popular
No Period. Now What? Nicola J Rinaldi / Libro Tapa blanda
common.buy 27.89 €
Popular
NIV Holy Bible (Hodder Classics) New International Version / Libro Tapa blanda
common.buy 8.29 €
The British Arms In North China And Japan: Peking 1860, Kagosima 1862 (1864) David Field Rennie / Libro Tapa blanda
common.buy 38.69 €
Ligeia's Translations: CTR Translation: English, French, Spanish & Persian Maryam Tajfar / Libro Tapa blanda
common.buy 11.69 €
The Secret World of Easter Eggs: Hidden Features of the Websites You Know and Love James Dorrian / Libro Tapa blanda
common.buy 7.99 €
How to clerk a track meet MR G K Butts / Libro Tapa blanda
common.buy 15.39 €
The Survivors Project: Telling the Truth About Life After Sexual Abuse Nina Hoffmann / Libro Tapa blanda
common.buy 18.19 €
The Stonebearer: Book One of the Spiritmaster Chronicles Bucky Montgomery / Libro Tapa blanda
common.buy 16.29 €
Financial Success in a Box: 10 Steps to Take Control of Your Money Robert L Bassford / Libro Tapa blanda
common.buy 24.79 €
HBR's 10 Must Reads on Communication (with featured article "The Necessary Art of Persuasion," by Jay A. Conger) Harvard Business Review / Libro Tapa dura
common.buy 39.69 €
Próximamente
Introduction to Quantized Fields Christopher James Bostock / Libro Tapa dura
common.buy 63.19 €
No More Peanuts for Ellie the Elephant: A Children's Book on Peanut Allergy Awareness Mel Schroeder / Libro Tapa blanda
common.buy 7.99 €
Nuevo
The Idea of China Guoqi Xu / Libro Tapa dura
common.buy 38.99 €
Bali Travel Map Tenth Edition Periplus Editions / Artículos impresos Mapa
common.buy 8.09 €
I WAS TOLD THERED BE A VILLAGE WIRT MELISSA / Libro Tapa dura
common.buy 24.29 €
Dot Painting Mandala Coloring Book for Adults Monsoon Publishing / Libro Tapa blanda
common.buy 9.39 €
BETTER BROKEN ROGERS SEAN J / Libro Tapa dura
common.buy 30.79 €
Popularmmos Presents the End of All the Things Danielle Jones / Libro Tapa blanda
common.buy 13.49 €
Circles of Stone (The Mirror Chronicles, Book 2) Ian Johnstone / Audiolibro MP3
common.buy 18.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