«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

4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings

Idioma InglésInglés
Libro Tapa blanda
Libro Interactive Theorem Proving Sandrine Blazy
Código Libristo: 01664057
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, junio 2013
This book constitutes the refereed proceedings of the 4th International Conference on Interactive Th... 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

Diccionario visual inglés / Libro Tapa blanda
common.buy 14.69 €
Zpět o sto let na výlet Renata Šindelářová / Libro Tapa blanda
common.buy 3.49 €
metodo Mystery. Un approccio infallibile per sedurre le donne più belle del mondo Mystery / Libro Tapa blanda
common.buy 14.89 €
TEMARIO DE TROMBON VICENTE MONZO / Libro Tapa blanda
common.buy 316.09 €
Angielski. Przewodnik językowy Patrycja Karnik / Libro Tapa blanda
common.buy 14.09 €
Clef Junich Tanizaki / Libro Tapa blanda
common.buy 12.09 €
Manual práctico de Defensa Personal para mujeres MANUEL MONTERO KIESOW / Libro Tapa blanda
common.buy 24.39 €
Coches muy antiguos Ruiz Palacio / Libro Tapa blanda
common.buy 19.99 €
Der Kreis Husum K. Sönnichsen / Libro Tapa blanda
common.buy 26.69 €
Kostenfalle Messe? Anja Steinrücken / Libro Tapa blanda
common.buy 57.09 €
Theaterhandwerk Alan Ayckbourn / Libro Tapa blanda
common.buy 21.89 €
Aus der Praxis der Zuckerindustrie Otto Mittelstaedt / Libro Tapa blanda
common.buy 14.89 €
Laubgewind Jakob Chr. Heer / Libro Tapa blanda
common.buy 29.59 €
Brasilien im IBSA-Dialogforum Claudia Liebeswar / Libro Tapa blanda
common.buy 17.89 €
Widerstand im totalitaren System - a priori chancenlos? Steffen Radtke / Libro Tapa blanda
common.buy 17.89 €
USA und der internationale Klimaschutz Jan Hollmann / Libro Tapa blanda
common.buy 17.89 €

This book constitutes the refereed proceedings of the 4th International Conference on Interactive Theorem Proving, ITP 2013, held in Rennes, France, in July 2013.§The 26 regular full papers presented together with 7 rough diamond papers, 3 invited talks, and 2 invited tutorials were carefully reviewed and selected from 66 submissions. The papers are organized in topical sections such as program verfication, security, formalization of mathematics and theorem prover development.

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 Sandrine Blazy, Christine Paulin-Mohring, David Pichardie
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2013
Número de páginas 498
EAN 9783642396335
ISBN 364239633X
Código Libristo 01664057
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 777
Dimensiones 155 x 235 x 29

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 > Algoritmos y estructuras de datos
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 Theorem Proving Gerwin Klein / Libro Tapa blanda
common.buy 56.59 €
Horizons in Cancer Research Hiroto S Watanabe / Libro Tapa dura
common.buy 343.19 €
Nubia Lake Paddleboarding: A Guide To Flat Water Stand Up Paddling Vie Binga / Libro Tapa blanda
common.buy 13.59 €
Golden Treasury of the History, Topography, Literature, Science, Art, and Religion of the Various Countries of the Globe James (University of the Highlands and Islands) Hunter / Libro Tapa dura
common.buy 40.69 €
How to Write Fanfiction Howexpert Press / Libro Tapa blanda
common.buy 20.09 €
How Claims Spread Joel Best / Libro Tapa blanda
common.buy 56.69 €
Tide Running Oonya Kempadoo / Libro Tapa blanda
common.buy 22.59 €
Journey to Meet Beethoven Pat Champness / Libro Tapa blanda
common.buy 11.19 €
Teaching Is a Privilege Elizabeth Cervini Manvell / Libro Tapa dura
common.buy 162.79 €
Birds of Myanmar Kyaw Nyunt Lwin / Libro Tapa blanda
common.buy 54.19 €
Beauchamp Hall Danielle Steel / Libro Tapa blanda
common.buy 31.79 €
Boost Your Immune System: Change Understanding About Healthy Eating, Change Your Mindset and Attitude Towards Healthy Living. Michal Kloczkowski / Libro Tapa blanda
common.buy 6.49 €
Beyond 2.0 Steve Collins / Libro Tapa blanda
common.buy 35.09 €
Time Series Analysis and Inverse Theory for Geophysicists David Gubbins / Libro Tapa blanda
common.buy 100.99 €
Cinema of the 70s: 101 Iconic Movies John H Foote / Libro Tapa blanda
common.buy 22.99 €

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