«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

5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings

Idioma InglésInglés
Libro Tapa blanda
Libro Interactive Theorem Proving Gerwin Klein
Código Libristo: 02779852
Editores Springer International Publishing AG, junio 2014
This book constitutes the proceedings of the 5th International Conference on Interactive Theorem Pro... Descripción completa
? points 139 b
56.59 €
Almacenamiento externo Envío en 5-8 días

Hasta 30 días para devoluciones

Clientes que también han comprado

Popular
Ravensburger - 20954 That's not a hat Kartenspiel für 3-8 Personen, Partyspiel, lustige Unterhaltung ab 8 Jahren Kasper Lapp / Artículos impresos Tarjetas
common.buy 13.39 €
Harry Potter - Le Coffret du sorcier Natacha Rocca / Libro Tapa blanda
common.buy 24.99 €
Económico
Mesnevija II Dželaluddin Rumi / Libro Tapa blanda
common.buy 10.49 €
Подготовка к экзамену по русскому языку как иностранному. Первый сертификационный уровень. Тесты. Письмо. B1 Е Никитина / Libro Tapa blanda
common.buy 23.99 €
Leucémie - Investigation moléculaire et étude immunogénétique Zainab W. Maroof / Libro Tapa blanda
common.buy 32.59 €
Stadi. Architettura e mito Fabio Salomoni / Libro Tapa blanda
common.buy 53.39 €
SAMOURAI WILLIAM L ANGLAIS QUI ROMPIT L ISOLEMENT DU JAPON Milton Libro Tapa blanda
common.buy 29.19 €
Empezar de cero Jimi Hendrix / Libro Tapa blanda
common.buy 24.39 €
Theorien der Vergleichenden Regierungslehre Gisela Riescher / Libro Tapa blanda
common.buy 29.09 €
Próximamente
Franz Liszt und seine Zeit Wolfgang Dömling / Libro Tapa dura
common.buy 37.49 €
Aktiv für gesunde Knochen, m. DVD Marta Agoston / Libro Tapa blanda
common.buy 8.09 €
Kreativnye mysli Evgenij Shepel' / Libro Tapa blanda
common.buy 41.29 €
Na půl žerdi Heda Bartíková / Libro Tapa blanda
common.buy 3.79 €
EinFach Deutsch Unterrichtsmodelle Heinrich von Kleist / Libro Tapa blanda
common.buy 30.19 €
Pontificato Di Leone XIII Rapporti Con l'Armenia Georges-Henri Ruyssen / Libro Tapa blanda
common.buy 16.09 €
Le Calvados et les peintres LECLERC / Libro Tapa blanda
common.buy 42.69 €
Dirección y gestión empresarial Fausto Pedro García Márquez / Libro Tapa blanda
common.buy 30.79 €
Eignung von Speichertechnologien zum Erhalt der Systemsicherheit (Band 13) / Libro Tapa blanda
common.buy 48.49 €
La Guérison Métaphysique: Comment guérir avec certitude Edmond Nanoukon / Libro Tapa blanda
common.buy 35.49 €
citrouille roulante JUNIA WONDERS / Libro Tapa dura
common.buy 23.99 €
Bir Tanem Felicien Marceau / Libro Tapa blanda
common.buy 13.29 €
Carnets de jeunesse Fallet / Libro Tapa blanda
common.buy 33.69 €
Livre cotes de France -le- tome 2 Jean Merrien / Libro Tapa blanda
common.buy 4.89 €

This book constitutes the proceedings of the 5th International Conference on Interactive Theorem Proving, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014. The 35 papers presented in this volume were carefully reviewed and selected from 59 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 Gerwin Klein, Ruben Gamboa
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2014
Número de páginas 555
EAN 9783319089690
ISBN 3319089692
Código Libristo 02779852
Editores Springer International Publishing AG
Peso 8657
Dimensiones 155 x 235 x 30

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 Sandrine Blazy / Libro Tapa blanda
common.buy 56.59 €
Interactive Theorem Proving and Program Development Yves Bertot / Libro Tapa blanda
common.buy 94.09 €
Magyar Nemzet Tortenete M R J Kai / Libro Tapa blanda
common.buy 32.59 €
30 Years at Ballymaloe: A celebration of the world-renowned cookery school with over 100 new recipes Darina Allen / Libro Tapa dura
common.buy 37.49 €
Scarlet Sage Gail Ylitalo / Libro Tapa blanda
common.buy 15.89 €
Sacred Geometry Anthony Muni Jr. / Libro Tapa blanda
common.buy 10.09 €
Big Book Of Low-Sodium Recipes Linda Larsen / Libro Tapa blanda
common.buy 20.99 €
Norfolk and Western Railway Stations and Depots C. Nelson Harris / Libro Tapa blanda
common.buy 21.79 €
Mathematical Dynamic Programming Aditya Chatterjee / Libro Tapa blanda
common.buy 24.09 €
Practical Guide To Self-Deliverance, A Dennis Clark / Libro Tapa blanda
common.buy 17.29 €
Iconoclastic Fervor Hillary Sullivan / Libro Tapa blanda
common.buy 25.89 €
Branded as Trouble Delores Fossen / Audiolibro MP3
common.buy 21.69 €
Environmental Management in Organizations John Brady / Libro electrónico Adobe ePub DRM
common.buy 77.79 €
Secrets of the Eternal Moon Phase Goddesses Julie Peters / Libro Tapa dura
common.buy 21.99 €
Losing Kali Kali Rae Wheeler / Libro Tapa dura
common.buy 24.29 €
Fields of Gold: The Orchid and the Rose Jim Stephens / Libro Tapa blanda
common.buy 20.09 €
Peeves Mike Van Waes / Libro Tapa blanda
common.buy 9.19 €
The Forty Hadith of Imam al-Nawawi Yahya Ibn Sharaf Al-Nawawi / Libro Tapa blanda
common.buy 11.19 €
Peter Rabbit Hoppy Holidays Sticker Activity Book Beatrix Potter / Libro Tapa blanda
common.buy 7.19 €
A Match for Emma Pepper Basham / Libro Tapa blanda
common.buy 13.59 €
Physical Review, Volume 12 Cornell University / Libro Tapa blanda
common.buy 28.79 €
Swedish Empire History Hourly History / Libro Tapa blanda
common.buy 10.69 €
Interactive Video-On-Demand Systems T.P. Jimmy To / Libro Tapa dura
common.buy 181.49 €
Bhagavad Gita Gavin Flood / Libro Tapa blanda
common.buy 19.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?