«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

Política de devolución de 30 días

Clientes que también han comprado

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.29 €
Подготовка к экзамену по русскому языку как иностранному. Первый сертификационный уровень. Тесты. Письмо. B1 Е Никитина / Libro Tapa blanda
common.buy 23.99 €
Económico
Mesnevija II Dželaluddin Rumi / Libro Tapa blanda
common.buy 10.99 €
Leucémie - Investigation moléculaire et étude immunogénétique Zainab W. Maroof / Libro Tapa blanda
common.buy 32.59 €
De la sigillographie féminine médiévale dans l’Europe méditerranéenne / Libro Tapa blanda
common.buy 55.19 €
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 11.59 €
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.59 €
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 33.19 €
Pontificato Di Leone XIII Rapporti Con l'Armenia Georges-Henri Ruyssen / Libro Tapa blanda
common.buy 32.09 €
Livre cotes de France -le- tome 2 Jean Merrien / Libro Tapa blanda
common.buy 5.09 €
Empezar de cero Jimi Hendrix / Libro Tapa blanda
common.buy 31.69 €
Dirección y gestión empresarial Fausto Pedro García Márquez / Libro Tapa blanda
common.buy 33.09 €
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 22.99 €
Bir Tanem Felicien Marceau / Libro Tapa blanda
common.buy 13.29 €
Carnets de jeunesse Fallet / Libro Tapa blanda
common.buy 31.79 €

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 €
Branded as Trouble Delores Fossen / Audiolibro MP3
common.buy 21.29 €
Interactive Television Demystified Jerry Whitaker / Libro Tapa blanda
common.buy 48.29 €
Each Leaf Shines Separate R Warren / Libro Tapa blanda
common.buy 15.39 €
Magyar Nemzet Tortenete M R J Kai / Libro Tapa blanda
common.buy 32.59 €
Scarlet Sage Gail Ylitalo / Libro Tapa blanda
common.buy 15.89 €
Mathematical Dynamic Programming Aditya Chatterjee / Libro Tapa blanda
common.buy 24.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.89 €
Iconoclastic Fervor Hillary Sullivan / Libro Tapa blanda
common.buy 25.89 €
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 €
Environmental Management in Organizations John Brady / Libro electrónico Adobe ePub DRM
common.buy 73.59 €
The Forty Hadith of Imam al-Nawawi Yahya Ibn Sharaf Al-Nawawi / Libro Tapa blanda
common.buy 11.19 €
Secrets of the Eternal Moon Phase Goddesses Julie Peters / Libro Tapa dura
common.buy 21.99 €
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 €
Swedish Empire History Hourly History / Libro Tapa blanda
common.buy 10.69 €
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 €
Sacred Geometry Anthony Muni Jr. / Libro Tapa blanda
common.buy 11.19 €
Bhagavad Gita Gavin Flood / Libro Tapa blanda
common.buy 19.59 €
The Keys of Persephone Kate Gray Glass / Libro Tapa blanda
common.buy 20.09 €
Eleventh International Seaweed Symposium Carolyn J. Bird / Libro Tapa dura
common.buy 349.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