«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

Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings

Idioma InglésInglés
Libro Tapa blanda
Libro Interactive Theorem Proving Marko Van Eekelen
Código Libristo: 01658528
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, agosto 2011
This book constitutes the refereed proceedings of the Second International Conference on Interactive... Descripción completa
? points 148 b
60.39 €
Almacenamiento externo en pequeñas cantidades Envío en 13-18 días

Hasta 30 días para devoluciones

Clientes que también han comprado

Pferdekrankheiten Wilfried Bellinghausen / Libro Tapa blanda
common.buy 19.79 €
Da soli per forza. Il ritiro sociale in adolescenza Michele Procacci / Libro Tapa blanda
common.buy 16.79 €
Spirou und Fantasio Gesamtausgabe Neuedition 1 André Franquin / Libro Tapa dura
common.buy 34.89 €
Black Hawk Down Tonanalyse - Utopie oder Realismus Timo Leich / Libro Tapa blanda
common.buy 17.89 €
Deutschland, Europa und der Euro? Wolfgang K. E. Wittmann / Libro Tapa blanda
common.buy 9.99 €
Chromatic herbarium Massimo Gardone / Libro Tapa blanda
common.buy 48.79 €
Albert Einstein Johannes Wickert / Libro Tapa blanda
common.buy 10.09 €
Designer's guide couleur n.3 shi bukawa et takahashi ikuyoshi et yumi Libro Libro
common.buy 24.99 €
Walt Disney Captivating History / Libro Tapa dura
common.buy 22.79 €
Czciciele Ognia, Czasu I Szatana: Zaratusztrianizm, Zurwanizm, Anahityzm, Mitraizm, Manicheizm, Mazdakizm, Mazdaznanizm, Jazydyzm Andrzej Juliusz Sarwa / Libro Tapa blanda
common.buy 9.39 €
BROCKHAUSEN Värityskirja Vol. 5 - Värityskirja: Merirosvo Dortje Golldack / Libro Tapa blanda
common.buy 12.59 €
Espectroscopia Fotoelectrónica de rayos X (XPS) - Un fundamento Pedro José Rodríguez Sulbarán / Libro Tapa blanda
common.buy 49.19 €
"Wir und Ihr". Fremdenfeindliches Gedankengut in der postmodernen Gesellschaft und Copingstrategien der Sozialen Arbeit Belinda Peter / Libro Tapa blanda
common.buy 17.89 €
Matemáticas transversales, 5 y 6 Educación Primaria Rosario María González Vigil / Libro Tapa blanda
common.buy 11.99 €
Ridiculum Vitae Orta / Libro Tapa blanda
common.buy 11.99 €
Terror Ferdinand von Schirach / Libro Tapa blanda
common.buy 10.79 €

This book constitutes the refereed proceedings of the Second International Conference on Interactive Theorem proving, ITP 2011, held in Berg en Dal, The Netherlands, in August 2011. §The 25 revised full papers presented were carefully reviewed and selected from 50 submissions. Among the topics covered are counterexample generation, verification, validation, term rewriting, theorem proving, computability theory, translations from one formalism to another, and cooperation between tools. Several verification case studies were presented, with applications to computational geometry, unification, real analysis, etc.

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 Marko Van Eekelen, Herman Geuvers, Julien Schmaltz, Freek Wiedijk
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2011
Número de páginas 383
EAN 9783642228629
ISBN 3642228623
Código Libristo 01658528
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 605
Dimensiones 155 x 235 x 23

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 > 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
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 €
Interactive Theorem Proving Matt Kaufmann / Libro Tapa blanda
common.buy 119.39 €
Interactive Video Riad Hammoud / Libro Tapa blanda
common.buy 112.79 €
Interactive Theorem Proving and Program Development Yves Bertot / Libro Tapa dura
common.buy 132.69 €
Toward the End of the Century: Essays Into Poetry Wayne Dodd / Libro Tapa blanda
common.buy 22.49 €
Life in the Ring: Lessons & Inspiration from the Sport of Boxing John E. Oden / Libro Tapa blanda
common.buy 15.29 €
Popular
Kingdom, Vol. 2 Yasuhisa Hara / Libro Tapa blanda
common.buy 12.79 €
Race and Redemption Jane Samson / Libro Tapa blanda
common.buy 55.49 €
Moments With The King: A Treasury Of Devotional Essays To Build And Strengthen Your Faith Kirby D Jones / Libro Tapa blanda
common.buy 13.49 €
Popular
Understanding the I Ching: Restoring a Brilliant, Ancient Culture Alfred Huang / Libro Tapa blanda
common.buy 15.39 €
The Duties of Parents John Charles Ryle / Libro Tapa blanda
common.buy 6.99 €
Flows, Energetics, and Waves: Mathematical Applications: Physical Sciences and Timothy S Margulies / Libro Tapa blanda
common.buy 47.19 €
China's Information Control Practices and the Implications for the United States Economic and Security Review Commission / Libro Tapa blanda
common.buy 18.19 €
Finding Father Mary Ann Loewen / Libro Tapa blanda
common.buy 26.19 €
Foundations of Paleoecology S. Kathleen Lyons / Libro Tapa dura
common.buy 185.29 €
Económico
The Art of Lying: A Moral Guide on How to Properly Lie, Cheat, Deceive, and Manipulate Sally Fairfax / Libro Tapa blanda
common.buy 5.79 €
Linguistics and Cross Linguistics issues in translating English Media Kais Kadhim / Libro Tapa blanda
common.buy 55.09 €
Firefighters / Libro Tapa blanda
common.buy 9.79 €
Mastering Reinforcement Learning with Python Enes Bilgin / Libro Tapa blanda
common.buy 51.39 €
Architecting High-Performance Embedded Systems Jim Ledin / Libro Tapa blanda
common.buy 55.39 €
Mortimer: Rat Race to Space Joan Marie Galat / Libro Tapa blanda
common.buy 11.19 €
Cartoons That Saved the World Tom Ellen / Libro Tapa blanda
common.buy 9.39 €
How Big Things Get Done Dan Gardner / Libro Tapa dura
common.buy 24.19 €
Richard II Tom Wheelwright / Audiolibro MP3
common.buy 16.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?