«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 152 b
62.19 €
Almacenamiento externo Envío en 9-13 días

Hasta 30 días para devoluciones

Clientes que también han comprado

Matemáticas transversales, 5 y 6 Educación Primaria Rosario María González Vigil / Libro Tapa blanda
common.buy 12.69 €
Commentaire Sur La Loi Du 29 Germinal an XI, Relative Aux Successions, Code Civil CHABOT-G-A / Libro Tapa blanda
common.buy 23.59 €
Ataque A Los Titanes 02. Antes De La Caida H. ISAYAMA / Libro Tapa blanda
common.buy 9.29 €
Chromatic herbarium Massimo Gardone / Libro Tapa blanda
common.buy 48.59 €
Ridiculum Vitae Orta / Libro Tapa blanda
common.buy 12.79 €
Resume Des Debats Pour Les Proprietaires Opposants A l'Impot Des Egouts Sans Auteur / Libro Tapa blanda
common.buy 12.79 €
Pferdekrankheiten Wilfried Bellinghausen / Libro Tapa blanda
common.buy 19.80 €
Black Hawk Down Tonanalyse - Utopie oder Realismus Timo Leich / Libro Tapa blanda
common.buy 17.89 €
Albert Einstein Johannes Wickert / Libro Tapa blanda
common.buy 10.09 €
Aufgewacht, lieber Osterhase: Mein Oster-Mitmachbuch Anna Karina Birkenstock / Libro Libro de concertinas
common.buy 6.19 €
Popular
Mi ketten - Egy év az erdőben Michael Engler / Libro Tapa dura
common.buy 13.69 €
Terror Ferdinand von Schirach / Libro Tapa blanda
common.buy 12.09 €
Spirou und Fantasio Gesamtausgabe Neuedition 1 André Franquin / Libro Tapa dura
common.buy 34.69 €
Rossa e plebea. Pisa, mezzo secolo fa Luciano Luciani / Libro Tapa blanda
common.buy 27.60 €
Deutschland, Europa und der Euro? Wolfgang K. E. Wittmann / Libro Tapa blanda
common.buy 9.99 €
These Pour La Licence: Soutenue Publiquement A La Faculte de Droit de Strasbourg GAZIN-J / Libro Tapa blanda
common.buy 14.49 €
"Wir und Ihr". Fremdenfeindliches Gedankengut in der postmodernen Gesellschaft und Copingstrategien der Sozialen Arbeit Belinda Peter / Libro Tapa blanda
common.buy 17.89 €
Designer's guide couleur n.3 shi bukawa et takahashi ikuyoshi et yumi Libro Libro
common.buy 24.09 €
Espectroscopia Fotoelectrónica de rayos X (XPS) - Un fundamento Pedro José Rodríguez Sulbarán / Libro Tapa blanda
common.buy 49.19 €
Walt Disney Captivating History / Libro Tapa dura
common.buy 23.29 €
BROCKHAUSEN Värityskirja Vol. 5 - Värityskirja: Merirosvo Dortje Golldack / Libro Tapa blanda
common.buy 12.89 €
Czciciele Ognia, Czasu I Szatana: Zaratusztrianizm, Zurwanizm, Anahityzm, Mitraizm, Manicheizm, Mazdakizm, Mazdaznanizm, Jazydyzm Andrzej Juliusz Sarwa / Libro Tapa blanda
common.buy 9.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 Technologies and Sociotechnical Systems Hongbin Zha / Libro Tapa blanda
common.buy 62.19 €
Interactive Theorem Proving Matt Kaufmann / Libro Tapa blanda
common.buy 122.69 €
Interactive Video Riad Hammoud / Libro Tapa blanda
common.buy 112.89 €
Interactive Theorem Proving and Program Development Yves Bertot / Libro Tapa dura
common.buy 132.69 €
Flows, Energetics, and Waves: Mathematical Applications: Physical Sciences and Timothy S Margulies / Libro Tapa blanda
common.buy 48.49 €
Firefighters / Libro Tapa blanda
common.buy 9.79 €
Linguistics and Cross Linguistics issues in translating English Media Kais Kadhim / Libro Tapa blanda
common.buy 55.09 €
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 3.39 €
Foundations of Paleoecology S. Kathleen Lyons / Libro Tapa dura
common.buy 190.39 €
Finding Father Mary Ann Loewen / Libro Tapa blanda
common.buy 26.89 €
China's Information Control Practices and the Implications for the United States Economic and Security Review Commission / Libro Tapa blanda
common.buy 18.59 €
2003 Technology Collection Trends in the U.S. Defense Industry Department of Defense / Libro Tapa blanda
common.buy 16.79 €
I, Judas Iscariot Lloyd H Muller / Libro Tapa blanda
common.buy 9.19 €
Bigfoot And Santa Get Trashed In Vegas Raven Blackbird / Libro Tapa blanda
common.buy 7.19 €
Heretic Jennie Rosenblum / Libro Tapa blanda
common.buy 16.19 €
Understanding the I Ching: Restoring a Brilliant, Ancient Culture Alfred Huang / Libro Tapa blanda
common.buy 15.79 €
Moments With The King: A Treasury Of Devotional Essays To Build And Strengthen Your Faith Kirby D Jones / Libro Tapa blanda
common.buy 13.89 €
Race and Redemption Jane Samson / Libro Tapa blanda
common.buy 49.99 €
Life in the Ring: Lessons & Inspiration from the Sport of Boxing John E. Oden / Libro Tapa blanda
common.buy 15.20 €
Toward the End of the Century: Essays Into Poetry Wayne Dodd / Libro Tapa blanda
common.buy 22.89 €
Richard II Tom Wheelwright / Audiolibro MP3
common.buy 16.10 €
Tullete Tøysete Hunder Christin Borge / Libro Tapa blanda
common.buy 14.39 €
Popular
Kingdom, Vol. 2 Yasuhisa Hara / Libro Tapa blanda
common.buy 12.79 €
The Riding School Connemara Pony - Dyslexia Friendly Elaine Heney / Libro Tapa blanda
common.buy 21.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?