«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

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

Clientes que también han comprado

Albert Einstein Johannes Wickert / Libro Tapa blanda
common.buy 10.09 €
Black Hawk Down Tonanalyse - Utopie oder Realismus Timo Leich / Libro Tapa blanda
common.buy 17.89 €
Da soli per forza. Il ritiro sociale in adolescenza Michele Procacci / Libro Tapa blanda
common.buy 16.79 €
Pferdekrankheiten Wilfried Bellinghausen / Libro Tapa blanda
common.buy 19.79 €
Chromatic herbarium Massimo Gardone / Libro Tapa blanda
common.buy 73.99 €
Popular
Terror Ferdinand von Schirach / Libro Tapa blanda
common.buy 12.09 €
Spirou und Fantasio Gesamtausgabe Neuedition 1 André Franquin / Libro Tapa dura
common.buy 31.79 €
Deutschland, Europa und der Euro? Wolfgang K. E. Wittmann / Libro Tapa blanda
common.buy 9.99 €
Designer's guide couleur n.3 shi bukawa et takahashi ikuyoshi et yumi Libro Libro
common.buy 25.19 €
Ridiculum Vitae Orta / Libro Tapa blanda
common.buy 12.89 €
Matemáticas transversales, 5 y 6 Educación Primaria Rosario María González Vigil / Libro Tapa blanda
common.buy 12.89 €
Walt Disney Captivating History / Libro Tapa dura
common.buy 22.79 €
Espectroscopia Fotoelectrónica de rayos X (XPS) - Un fundamento Pedro José Rodríguez Sulbarán / Libro Tapa blanda
common.buy 49.19 €
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 €

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 Theorem Proving Matt Kaufmann / Libro Tapa blanda
common.buy 119.39 €
Interactive Technologies and Sociotechnical Systems Hongbin Zha / Libro Tapa blanda
common.buy 60.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 €
Sadi's Rosengarten (1841) Sadi / Libro Tapa blanda
common.buy 33.69 €
Popular
Kingdom, Vol. 2 Yasuhisa Hara / Libro Tapa blanda
common.buy 13.89 €
Smeaton and the Lighthouses John Smeaton / Libro Tapa blanda
common.buy 24.69 €
Honey Bucket Charlie Lewis H. Carlson / Libro Tapa dura
common.buy 38.49 €
Life in the Ring: Lessons & Inspiration from the Sport of Boxing John E. Oden / Libro Tapa blanda
common.buy 15.29 €
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 €
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 €
Foundations of Paleoecology S. Kathleen Lyons / Libro Tapa dura
common.buy 185.39 €
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 4.49 €
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 €
Popular
How Big Things Get Done Dan Gardner / Libro Tapa dura
common.buy 24.09 €
Richard II Tom Wheelwright / Audiolibro MP3
common.buy 15.99 €
Anatomy Flashcards: 300 Flashcards with Anatomically Precise Drawings and Exhaustive Descriptions Stephanie McCann / Juego/Juguete Juego
common.buy 35.89 €
Inside Cyber: How Ai, 5g, and Quantum Computing Will Transform Privacy and Our Security Brooks / Libro Tapa dura
common.buy 23.19 €

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