«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

6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings

Idioma InglésInglés
Libro Tapa blanda
Libro Interactive Theorem Proving Christian Urban
Código Libristo: 09378411
Editores Springer International Publishing AG, agosto 2015
This book constitutes the proceedings of the 6th International Conference on Interactive Theorem Pro... 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

Le Manuscrit cathare M.J. Rose / Libro Tapa blanda
common.buy 20.79 €
Interessenkollisionen Bei Der Bestellung Des (Vorlaeufigen) Insolvenzverwalters Beziehungsweise (Vorlaeufigen) Sachwalters Aus Strafrechtlicher Sicht Helge Hölken / Libro Tapa dura
common.buy 93.59 €
Historien Tacitus / Libro Tapa dura
common.buy 23.49 €
Psí průšviháři - Nenapravitelný boxer Tui T. Sutherland / Libro Tapa blanda
common.buy 7.69 €
Laubsäge-Vorlage Bea - das freche Schaf / Juego/Juguete Juguete
common.buy 14.19 €
Ein Motiv aus dem Kalender Florales zu jeder Jahreszeit (Puzzle) Anette Jäger / Juego/Juguete Juego
common.buy 36.49 €
Karl der Grosse und die Mauren Robert Schneider / Libro Tapa blanda
common.buy 17.89 €
Masa plastyczna Hey Clay puchate zwierzaki HCL15023 / Libro binding.
common.buy 29.59 €
Hippocrate, Tome IV, 3e Partie: Epidemies V Et VII Hippocrates / Libro Tapa blanda
common.buy 84.89 €
Lebenserinnerungen und Denkwurdigkeiten Carl Gustav Carus / Libro Tapa blanda
common.buy 26.69 €
Klementina von Porretta Christoph Martin Wieland / Libro Tapa blanda
common.buy 9.99 €
Upravlenie kachestvom v sovremennom otdelenii luchevoj diagnostiki K. V. Kushnir / Libro Tapa blanda
common.buy 36.39 €
Age de Depart A La Retraite - Effets Sur l'Evolution Macroeconomique Belkouch Hicham / Libro Tapa blanda
common.buy 35.49 €
Strandgut Tanja Korf / Libro Tapa blanda
common.buy 10.09 €
Streichquintett G-Dur (Smycový kvintet G dur) op. 77, Partitur und Stimmen Antonín Dvorák / Artículos impresos Partituras
common.buy 27.99 €
Live-Arrangement, m. DVD Jürgen Terhag / Libro Tapa blanda
common.buy 27.19 €

This book constitutes the proceedings of the 6th International Conference on Interactive Theorem Proving, ITP 2015, held in Nanjing, China, in August 2015. The 27 papers presented in this volume were carefully reviewed and selected from 54 submissions. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization of mathematics.

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 Christian Urban, Xingyuan Zhang
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2015
Número de páginas 469
EAN 9783319221014
ISBN 3319221019
Código Libristo 09378411
Editores Springer International Publishing AG
Peso 7256
Dimensiones 155 x 235 x 28

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

Bedouins into Bourgeois Calvert W. Jones / Libro Tapa dura
common.buy 137.89 €
Deus Comedieta Tade Bolade / Libro Tapa blanda
common.buy 12.79 €
Biocalorimetry Margarida Bastos / Libro Tapa dura
common.buy 294.79 €
Botanical, 20 Umschläge Pepin van Roojen / Libro Tapa blanda
common.buy 16.09 €
The Smile of the Sphinx Marguerite Bouvet / Libro Tapa blanda
common.buy 28.79 €
Harmony in Chopin David Damschroder / Libro Tapa blanda
common.buy 49.79 €
Childbirth Trauma Stergios K Doumouchtsis / Libro Tapa dura
common.buy 165.79 €
Shi'i Cosmopolitanisms in Africa Mara A Leichtman / Libro Tapa dura
common.buy 94.69 €
God's Not Dead Adult Study Guide Rice Broocks / Libro Tapa blanda
common.buy 10.59 €
Brooklyn Heights Sublet Jonah Cohen / Libro Tapa blanda
common.buy 28.89 €
Antiviral Agents Ernst Jucker / Libro Tapa blanda
common.buy 56.59 €
Machine James Smythe / Libro Tapa blanda
common.buy 15.09 €
Making Divorce Work Keith Barret / Libro Tapa blanda
common.buy 9.59 €
Encyclopedia of Mystics, Saints & Sages Judika Illes / Libro Tapa dura
common.buy 28.59 €
Who is Jesus? Thomas P. Rausch / Libro Tapa blanda
common.buy 22.09 €
And All for What? D.W.J. Cuddeford / Libro Tapa dura
common.buy 48.49 €
Jutland 1916 Charles London / Libro Tapa blanda
common.buy 21.89 €
It All Started with Gogol Thomas L Aman / Libro Tapa dura
common.buy 27.19 €
Stagecoach of Mariah Sandra K Lee / Libro Tapa blanda
common.buy 26.09 €
Poetry of Being Vaidehi Raipat / Libro Tapa blanda
common.buy 6.69 €

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?