«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 '95, Torino, Italy, June 5-8, 1995. Selected Papers

Idioma InglésInglés
Libro Tapa blanda
Libro Types for Proofs and Programs Stefano Berardi
Código Libristo: 05274627
Editores Springer, Berlin, noviembre 1995
This volume contains a refereed selection of revised full papers chosen from the contributions prese... 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

Ken Laszlo (Deluxe Edition) Ken Laszlo / Audio CD de audio
common.buy 17.99 €
Caracteres Lu Par Denis Podalydes (Les) Bruyere La / Audio CD de audio
common.buy 36.99 €
Zadní pokoj Jorn Lier Horst / Libro Tapa dura
common.buy 15.49 €
MANAGEMENT DES ENTREPRISES BTS 2E ANNEE POCHETTE REFLEXE LIVRE DU PROFESSEUR 2009 Marie-José Chacon / Libro Tapa blanda
common.buy 29.09 €
Vive l'Europe ! Bizet Libro Tapa blanda
common.buy 16.89 €
Pan Bůh a paní Bohová mají krizi Ivan Lupták / Libro Tapa blanda
common.buy 13.89 €
Würfelspiel: Kriss Kross - Wer erreicht die höchste Punktzahl? Reiner Knizia / Juego/Juguete Juego
common.buy 14.29 €
AUTOFAGIA VENTURA MEDINA / Libro Tapa blanda
common.buy 26.79 €
Eine wirtschaftliche Analyse der Umweltauswirkungen der Viehweide Onon Bayasgalan / Libro Tapa blanda
common.buy 35.49 €
Brainstorming Andrea Windolph / Libro Tapa blanda
common.buy 9.99 €
Weidenrute und Schwert Gerwalt Richardson / Libro Tapa blanda
common.buy 14.89 €
Leiden unsers Herren Jesu Christi Johannes Brassart / Libro Tapa blanda
common.buy 21.79 €
Inventaire Des Meubles Et Titres de Jean-Hector de Fay, Marquis de la Tour-Maubourg, Marechal CHARREYRE-A / Libro Tapa blanda
common.buy 15.09 €
Ayudas públicas y libre competencia en el sector audiovisual Sara Medina González / Libro Tapa blanda
common.buy 42.29 €
Ludwig II. Christine Tauber / Libro Tapa dura
common.buy 11.59 €
Oeuvres Choisies de M. Eugene Sue. Fernand Duplessis, Memoires d'Un Mari Eugene Sue / Libro Tapa blanda
common.buy 18.09 €
Artesanias María Leonor Aguilar García / Libro Tapa blanda
common.buy 28.69 €
Musikgeschichte(n) HANS BA LER / Libro binding.
common.buy 34.49 €
Impacto economico de la inocuidad en el sector agroexportador Alejandro Vaquero Vera / Libro Tapa blanda
common.buy 49.19 €
Die Herren von Greifenklau Karl May / Libro Tapa dura
common.buy 27.79 €

This volume contains a refereed selection of revised full papers chosen from the contributions presented during the Third Annual Workshop held under the auspices of the ESPRIT Basic Research Action 6453 Types for Proofs and Programs. The workshop took place in Torino, Italy, in June 1995.Type theory is a formalism in which theorems and proofs, specifications and programs can be represented in a uniform way. The 19 papers included in the book deal with foundations of type theory, logical frameworks, and implementations and applications; all in all they constitute a state-of-the-art survey for the area of type 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 Stefano Berardi, Mario Coppo
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 1996
Número de páginas 298
EAN 9783540617808
ISBN 3540617809
Código Libristo 05274627
Editores Springer, Berlin
Peso 474
Dimensiones 156 x 234 x 16

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

Popular
Bones & All Camille DeAngelis / Libro Tapa blanda
common.buy 11.79 €
Fundamental Phenomena in the Materials Sciences L. J. Bonis / Libro Tapa blanda
common.buy 60.39 €
Restaurant and Bar Design II Zheng Siyu / Libro Tapa dura
common.buy 81.79 €
Seeing Angels Emma Heathcote-James / Libro Tapa dura
common.buy 29.69 €
Christmas Wish Gregory Porter / Audio Vinilo de audio
common.buy 33.39 €
GS^2 Green Solution Generative System Abou-Elenein Ahmed / Libro Tapa blanda
common.buy 78.59 €
2 Peter and Jude - Concordia Commentary Curtis Giese / Libro Tapa dura
common.buy 111.49 €
Charles Dickens, The Story Of His Life (1870) John Camden Hotten / Libro Tapa dura
common.buy 38.29 €
Spatial Analysis for Complex Territorial Systems Luca Salvati / Libro Tapa blanda
common.buy 219.49 €
Próximamente
Bloody Provost R.A.J. Tyler / Libro Tapa dura
common.buy 22.99 €
Biographical Sketches of Joseph Smith the Prophet and His Progenitors for Many Generations Lucy Smith / Libro Tapa blanda
common.buy 39.69 €
Struggle for Recognition in International Relations Murray / Libro Tapa dura
common.buy 88.89 €
Audio-Vision: Sound on Screen Claudia Gorbman / Libro Tapa blanda
common.buy 34.09 €
Industrial Fuels Joseph Stephenson / Libro Tapa dura
common.buy 32.79 €
Female Hustler Part 4: All I See Is The Money... Joy Deja King / Libro Tapa blanda
common.buy 18.19 €
Heartbreaker Nick Louth / Libro Tapa blanda
common.buy 19.79 €
Selling Modernity Pamela E. Swett / Libro Tapa dura
common.buy 172.99 €
Transforming Nursing Education through Problem-Based Learning Elizabeth Rideout / Libro Tapa blanda
common.buy 74.89 €
What Did the Biblical Writers Know and When Did They Know it? Dever / Libro Tapa blanda
common.buy 25.79 €
Spoken Natural Language Dialog Systems Ronnie W. Smith / Libro Tapa dura
common.buy 130.69 €
Biology of Memory G. Adam / Libro Tapa blanda
common.buy 56.59 €
Cairo Trilogy Naguib Mahfouz / Libro Tapa dura
common.buy 34.19 €
Talk Fiction Irene Kacandes / Libro Tapa blanda
common.buy 39.09 €
Quantum Field Theory And Beyond: Essays In Honor Of Wolfhart Zimmermann - Proceedings Of The Symposium In Honor Of Wolfhart Zimmermann's 80th Birthday Erhard Seiler / Libro Tapa dura
common.buy 155.59 €

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?