«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

Idioma InglésInglés
Libro Tapa blanda
Libro Interactive Theorem Proving Mauricio Ayala-Rincón
Código Libristo: 16771860
Editores Springer International Publishing AG, agosto 2017
This book constitutes the refereed proceedings of the 8th 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

Omniscient Reader's Viewpoint - Bände 1-5 im Sammelschuber Umi / Juego/Juguete Juego
common.buy 87.59 €
Económico
Paris Zola / Libro Tapa blanda
common.buy 10.19 €
Approche des Syst?mes Multi-Agents et des Méthodes d'Emergence pour la Maintenance Kadri Ouahab / Libro Tapa blanda
common.buy 55.09 €
Természetes spiritualitás Pál Ferenc / Libro Tapa blanda
common.buy 11.79 €
Próximamente
La Normandie gourmande en 48 recettes (FR) PERETTI / Libro Tapa blanda
common.buy 10.19 €
Popular
Mirai Nikki - New Edition 01 Josef Shanel / Libro Tapa blanda
common.buy 13.29 €
Heliosphere 2265 - Hetzjagd, 1 Audio-CD Andreas Suchanek / Audio CD de audio
common.buy 12.29 €
Maths 1re Enseignement scientifique (2023) - Manuel élève Milan / Libro Libro
common.buy 30.09 €
Terapeutické rodičovstvo Sarah Naish / Libro Tapa blanda
common.buy 18.29 €
Digitale Bildverarbeitung Martin Werner / Libro Tapa blanda
common.buy 41.59 €
Histoire Naturelle de l'Air Et Des Meteores. Tome 1 RICHARD-J / Libro Tapa blanda
common.buy 37.39 €
Domina las Tablas de Multiplicar: edición espa?ola Christine R Draper / Libro Tapa blanda
common.buy 6.59 €
Oeuvres Completes Tome 3, 2 Sophie Cottin / Libro Tapa blanda
common.buy 22.99 €
Book of Blessings Heb Raymond Cintas / Libro Tapa dura
common.buy 64.69 €
Memoire Sur Le Principe Fondamental de la Therapeutique Deduit de l'Observation Et de l'Experience CREBESSAC-VERNET-P-A / Libro Tapa blanda
common.buy 16.09 €
Capacidade de biossorcao de metais pesados em residuos organicos Leandro Fabricio Sena / Libro Tapa blanda
common.buy 39.39 €
Nessahira Esin Kiroglu / Libro Tapa blanda
common.buy 16.49 €
Iperaldosteronismo ed Ipertensione resistente Mirko Parasiliti Caprino / Libro Tapa blanda
common.buy 54.09 €
Diagnose Algebraischen Denkens ALEXANDER MEYER / Libro Tapa blanda
common.buy 73.99 €
The Raging Wrath Of The Easter Bunny Demo Mr. Bungle / Audio CD de audio
common.buy 20.59 €
Ist der Pfaffe Amis aus dem Schwankroman des Strickers ein Schelm, Narr oder ein Schalk? Stefanie Fritz / Libro Tapa blanda
common.buy 17.89 €
Tout un zoo en pâte à modeler Oren / Libro binding.
common.buy 19.39 €
Journalistische Praxis - Das Monster der Fake News zähmen Sulaiman Osho / Libro Tapa blanda
common.buy 39.39 €

This book constitutes the refereed proceedings of the 8th International Conference on Interactive Theorem Proving, ITP 2017, held in Brasilia, Brazil, in September 2017. The 28 full papers, 2 rough diamond papers, and 3 invited talk papers presented were carefully reviewed and selected from 65 submissions. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization of mathematical theories.

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 Mauricio Ayala-Rincón, César A. Mu?oz
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2017
Número de páginas 532
EAN 9783319661063
ISBN 331966106X
Código Libristo 16771860
Editores Springer International Publishing AG
Peso 8248
Dimensiones 155 x 235 x 29

Categorías

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 > Análisis y diseño de sistemas
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

In the Ocean Stephanie Fizer Coleman / Juego/Juguete Juego
common.buy 17.29 €
Caleb and The Trash Fairy: Caleb and the box car race Jenene Snyder / Libro Tapa blanda
common.buy 11.59 €
Transition From Development to Production: Solving the Risk Equation U S Department of Defense / Libro Tapa blanda
common.buy 20.09 €
American Notes Rudyard Kipling / Libro Tapa blanda
common.buy 6.99 €
Sudoku Puzzle Book 200 MEDIUM Giant Size Puzzles: One Gigantic Large Print Puzzle Per Letter Size Page Sudoku Puzzle Books / Libro Tapa blanda
common.buy 12.59 €
12 Strong - Die wahre Geschichte der US-Horse Soldiers Nicolai Fuglsig / Video Blu-ray
common.buy 13.49 €
Foxfire Book of Appalachian Cookery Sean Brock / Libro Tapa blanda
common.buy 21.99 €
Unitarianism, the Doctrine of the Gospel: A View of the Scriptural Grounds of Unitarianism Lant Carpenter / Libro Tapa blanda
common.buy 39.69 €
Reminiscences Of Old Quebec (1890) Daniel MacPherson / Libro Tapa blanda
common.buy 23.89 €
Alone Against the Frost: Solitaire Adventure in Canada's Wilds Gavin Inglis / Libro Tapa blanda
common.buy 16.49 €
Heidegger on Art and Art Works J.J. Kockelmans / Libro Tapa blanda
common.buy 169.09 €
Seven Years of Darkness YOU-JEONG JEONG / Libro Tapa blanda
common.buy 12.79 €
Popular
Witchcraft. The Library of Esoterica Jessica Hundley / Libro Tapa dura
common.buy 32.59 €
7-Figure Coach Tara Mullarkey / Libro Tapa blanda
common.buy 11.89 €
Shadow Rising Robert Jordan / Audiolibro MP3
common.buy 53.39 €
Economics for Business John Sloman / Libro Tapa blanda
common.buy 101.79 €
Batman/Superman: World's Finest Vol. 3: Elementary Dan Mora / Libro Tapa dura
common.buy 20.39 €
Engaging with Human Rights Evelyne Schmid / Libro Tapa dura
common.buy 35.09 €
Third Act Encore Robert R. Blume / Libro Tapa dura
common.buy 50.49 €
UNTITLED RED TOWER RELEASE MAEHRER HANNAH NICOLE / Libro Tapa blanda
common.buy 17.19 €
The Substantive Law of the EU, 8e Barnard / Libro Tapa blanda
common.buy 74.09 €
Popular
Bad Bishop L.J. Shen / Libro Tapa blanda
common.buy 11.19 €
Popular
Dear Debbie Freida McFadden / Libro Tapa blanda
common.buy 9.89 €
Quiver Stephanie Spinner / Libro Tapa blanda
common.buy 7.89 €

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?