«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.

Interactive Theorem Proving

Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings

Idioma InglésInglés
Libro Tapa blanda
Libro Interactive Theorem Proving Lennart Beringer
Código Libristo: 01661818
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, julio 2012
This book constitutes the thoroughly refereed proceedings of the Third International Conference on I... 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

Remedios naturales para síntomas habituales : guía de plantas medicinales, alimentos y estilo de vida para distintas dolencias Paula Jiménez Fonseca / Libro Tapa blanda
common.buy 27.29 €
Se débrouiller en néerlandais vite fait bien fait ! VASSEUR Libro Tapa blanda
common.buy 7.09 €
ORACLES CHALDAIQUES GEMISTE PLETHON Libro binding.
common.buy 48.59 €
REGIA AERONAUTICA - Raid e missioni speciali Robert Robison / Libro Tapa blanda
common.buy 16.09 €
EL SORPRENDENTE JESUS DE MARCOS CASTRO SANCHEZ / Libro Tapa blanda
common.buy 31.59 €
Pokémon - Coloriages extraordinaires / Libro Tapa blanda
common.buy 6.99 €
Fantastyczna Czwórka. Tom 1 Opracowanie zbiorowe / Libro Tapa dura
common.buy 29.49 €
BILBAO Y SAN SEBASTIAN DE CERCA 3 Paul Stafford / Libro Libro
common.buy 15.09 €
Ronaldo - Fotbalové ikony (komiks) Katarína Jančová / Libro Tapa blanda
common.buy 11.39 €
cluny musee national moyen age Libro Libro
common.buy 28.69 €
Einleitung In Die Konchyliologie, Oder Grundzuge Der Naturgeschichte Der Weichthiere (1853) George Johnston / Libro Tapa blanda
common.buy 53.39 €
Dunkelgraf Ludwig Bechstein / Libro Tapa blanda
common.buy 39.39 €
Estudio fenomenologico de las caracteristicas socio afectivas Marcela Victoria Marrero Calvo / Libro Tapa blanda
common.buy 54.09 €
Essais d'Impressions En Couleurs SANS AUTEUR / Libro Tapa blanda
common.buy 14.19 €
Real-Enzyklopädie für protestantische Theologie und Kirche ohne Autor / Libro Tapa blanda
common.buy 86.39 €
Spisy III Eseje, Další pátrání, Dějiny věčnosti Jorge Luis Borges / Libro Tapa dura
common.buy 15.29 €
Obra-Jogo Rocha Aldene / Libro Tapa blanda
common.buy 54.09 €
Koshiki Contact Karatedo Olaf Lotze-Leoni / Libro Tapa blanda
common.buy 10.09 €
Internationale Projektfinanzierung Carola Schulz / Libro Tapa blanda
common.buy 37.49 €
Patentrecherche - Technologieuberwachung durch kunstliche Intelligenz Katharina Heil / Libro Tapa blanda
common.buy 18.89 €
Filmanalyse In this world unter der Betrachtung von Grunden fur Migration in Verbindung mit der Tsunami-Katastrophe 2004 Stefan Wurm / Libro Tapa blanda
common.buy 17.89 €
August Hermann Francke - Sein Leben Und Wirken ALS Pietistischer P dagoge Susanne Potthast / Libro Tapa blanda
common.buy 17.89 €

This book constitutes the thoroughly refereed proceedings of the Third International Conference on Interactive Theorem Proving, ITP 2012, held in Princeton, NJ, USA, in August 2012. The 21 revised full papers presented together with 4 rough diamond papers, 3 invited talks, and one invited tutorial were carefully reviewed and selected from 40 submissions. Among the topics covered are formalization of mathematics; program abstraction and logics; data structures and synthesis; security; (non-)termination and automata; program verification; theorem prover development; reasoning about program execution; and prover infrastructure and modeling styles.

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 Interactive Theorem Proving
Autor Lennart Beringer, Amy Felty
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2012
Número de páginas 419
EAN 9783642323461
ISBN 3642323464
Código Libristo 01661818
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 650
Dimensiones 155 x 235 x 25

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 > Interacción persona-ordenador > Diseño de interfaces de usuario y usabilidad
Computación e informática > Programación informática/desarrollo de software > Ingeniería del software
Computación e informática > Redes y comunicaciones informáticas > Seguridad de redes
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 > Seguridad informática
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

Interactive Technologies and Sociotechnical Systems Hongbin Zha / Libro Tapa blanda
common.buy 60.39 €
Combinatorial Mathematics III A.P. Street / Libro Tapa blanda
common.buy 39.69 €
Interactive Theorem Proving and Program Development Yves Bertot / Libro Tapa dura
common.buy 132.69 €
Psychoanalysis, Sleep And Dreams Andre Tridon / Libro Tapa blanda
common.buy 25.89 €
Secret Geometry of the Dollar Ken McGrath / Libro Tapa blanda
common.buy 23.59 €
Allergies Stuart H Young MD / Libro Tapa blanda
common.buy 20.09 €
Animals Word Scramble: Book 1 Michael Stachiw / Libro Tapa blanda
common.buy 9.79 €
Rambling Rhymes Clare Crooke / Libro Tapa blanda
common.buy 10.69 €
What Is Personification? Robin Johnson / Libro Tapa blanda
common.buy 10.59 €
Human Rights and the Criminal Justice System Anthony Amatrudo / Libro Tapa blanda
common.buy 79.79 €
Popular
The Neville Goddard Collection Neville Goddard / Libro Tapa blanda
common.buy 27.89 €
Cognitive Psychology Eysenck / Libro Tapa blanda
common.buy 74.19 €
Tarot Spreads Jeffrey Price / Libro Tapa blanda
common.buy 16.49 €
KING of kings and LORD of lords Bible Lesson 1 K. L. Rich / Libro Tapa blanda
common.buy 12.19 €
How to Find a Niche Market...And Make Money M Morgan / Libro Tapa blanda
common.buy 7.99 €
Medical Marijuana: Patient Guidebook Dr Stephen Blythe / Libro Tapa blanda
common.buy 6.99 €
The Long List Anthology Volume 2: More Stories From the Hugo Award Nomination List David Steffen / Libro Tapa blanda
common.buy 18.79 €
The Analysis of Mind Bertrand Russell / Libro Tapa blanda
common.buy 16.39 €
Criminal Procedure, Loose-Leaf Version Joel Samaha / Libro Tapa blanda
common.buy 211.49 €
Winged with Longing for Better Things Sylvia Sweeney / Libro Tapa blanda
common.buy 17.29 €
Typography Essentials Revised and Updated Ina Saltz / Libro Tapa blanda
common.buy 22.79 €
How to Read Chinese Drama Patricia Sieber / Libro Tapa blanda
common.buy 48.19 €
Infrastructure We Ride On Joseph (City College of New York USA) Berechman / Libro Tapa blanda
common.buy 116.19 €
Head Strong Michael D. Matthews / Libro Tapa dura
common.buy 50.79 €

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