«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

First International Conference, ITP 2010 Edinburgh, UK, July 11-14, 2010, Proceedings

Idioma InglésInglés
Libro Tapa blanda
Libro Interactive Theorem Proving Matt Kaufmann
Código Libristo: 01656145
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, junio 2010
This book constitutes the refereed proceedings of the First International Conference on Interactive... Descripción completa
? points 292 b
119.39 €
Almacenamiento externo Envío en 9-15 días

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

Clientes que también han comprado

Jak vznikla a hospodařila TJ Letové sporty Tleskač v Praze / Libro Tapa blanda
common.buy 7.29 €
Obstbau E. Voges / Libro Tapa blanda
common.buy 19.79 €
Rolle des Filmkameramanns bei der Produktion von Spielfilmen - Exemplarisch dargestellt anhand der Arbeit des Kameramanns Frank Griebe Torben Asmussen / Libro Tapa blanda
common.buy 44.39 €
Europaisches Wettbewerbsrecht am Beispiel der Fernsehrechtsproblematik der UEFA Champions League und der FIFA WM 2006 Tobias Schoener / Libro Tapa blanda
common.buy 17.89 €
Test der verschiedenen Proteinanteile Serge Munganga Kabate / Libro Tapa blanda
common.buy 43.29 €
Aristoteles: Metaphysik IX, 1-3. Vom Wesen und Wirklichkeit der Kraft (Sommersemester 1931). Buch.IX Martin Heidegger / Libro Tapa blanda
common.buy 33.69 €
Nitra Vladimír Barta / Libro Tapa dura
common.buy 36.59 €
DF 81 ALEJ MAGNO IV INDIA A BABILONIA / Libro Libro
common.buy 9.99 €
Nach Spanien Und Portugal H. Obersteiner / Libro Tapa blanda
common.buy 29.59 €
Криптвоюматика 2.0. Стань сыном маминой подруги Алексей Марков / Libro Tapa dura
common.buy 20.19 €
Popular
Profi-Nonogramm 3er-Band. Nr.16. Nr.16 Conceptis Puzzles / Libro Tapa blanda
common.buy 9.99 €
Haltestelle Brussel Hermann Bausinger / Libro Tapa blanda
common.buy 21.69 €
Contribution a la lutte contre la cybercriminalite des jeunes Dinde Fernand Agbo / Libro Tapa blanda
common.buy 68.79 €
Politische Gesprache der Toten Anonymus / Libro Tapa blanda
common.buy 39.39 €
Dibujar : trucos, técnicas y recursos para la inspiración visual Helen Birch / Libro Tapa blanda
common.buy 14.99 €
Solo-Klaviermusik Vol.6 Miklos Spanyi / Audio CD de audio
common.buy 17.69 €
Une Page de l'Histoire de Napoleon 1er Le Moine-O / Libro Tapa blanda
common.buy 16.09 €
Quelques Mots Sur La Maxime: 'le Roi Regne Et Ne Gouverne Pas' Sans Auteur / Libro Tapa blanda
common.buy 13.19 €

This book constitutes the refereed proceedings of the First International Conference on Interactive Theorem proving, ITP 2010, held in Edinburgh, UK, in July 2010. The 33 revised full papers presented were carefully reviewed and selected from 74 submissions. The papers are organized in topics such as counterexample generation, hybrid system verification, translations from one formalism to another, and cooperation between tools. Several verification case studies were presented, with applications to computational geometry, unification, real analysis, etc.

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 Matt Kaufmann, Lawrence C. Paulson
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2010
Número de páginas 495
EAN 9783642140518
ISBN 3642140513
Código Libristo 01656145
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 759
Dimensiones 155 x 238 x 33

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
Medicina, enfermería, veterinaria > Medicina clínica e interna > Enfermedades y trastornos > Inmunología
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 > Compiladores e intérpretes
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 > Arquitectura y diseño lógico de ordenadores
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

Interactive Theorem Proving and Program Development Yves Bertot / Libro Tapa dura
common.buy 132.69 €
Interactive Video Riad Hammoud / Libro Tapa blanda
common.buy 112.79 €
Experimental Robotics Oussama Khatib / Libro Tapa blanda
common.buy 225.39 €
Interactive Theorem Proving Marko Van Eekelen / Libro Tapa blanda
common.buy 60.39 €
Interactive Technologies and Sociotechnical Systems Hongbin Zha / Libro Tapa blanda
common.buy 60.39 €
You Bantering Me? Chris Hughes / Libro Tapa blanda
common.buy 17.59 €
Homo Sapiens to Homo 'X' Lawrence Nyaguti Ochieng / Libro Tapa dura
common.buy 37.79 €
Rite of Rejection Sarah Negovetich / Libro Tapa blanda
common.buy 12.59 €
Oblomov Ivan Aleksandrovich Goncharov / Libro Tapa blanda
common.buy 10.69 €
Long Life in Florida Hilton Hotema / Libro Tapa blanda
common.buy 32.79 €
We Were Free-Range: An American Childhood 1950-1962 John Erwin / Libro Tapa blanda
common.buy 13.59 €
Annihilation Jeff VanderMeer / Libro Tapa blanda
common.buy 15.09 €
Classification, Disease and Evidence Philippe Huneman / Libro Tapa blanda
common.buy 56.59 €
From The Sun To The Stars James B. Kaler / Libro Tapa blanda
common.buy 35.89 €
Kaylynn's Reading Log Martha Day Zschock / Libro Tapa blanda
common.buy 8.79 €
Village Heroes Meet the Dragon Patti Vincent / Libro Tapa blanda
common.buy 21.99 €
Camping Keith Baker / Libro Tapa blanda
common.buy 6.29 €
Sleeping on a Wire David Grossman / Libro Tapa blanda
common.buy 21.19 €
The Last Midwife Sandra Dallas / Libro Tapa blanda
common.buy 21.99 €
Evolving Human Nutrition Stanley Ulijaszek / Libro Tapa dura
common.buy 173.89 €
Chakradance Natalie Southgate / Libro electrónico Adobe ePub DRM
common.buy 17.69 €
Uncertainty in Ai: A Journal Through Possible Worlds LAWRY JONATHAN / Libro Tapa dura
common.buy 127.99 €
Hidden in Blackness Adaurennaya C Onyewuenyi / Libro Tapa dura
common.buy 142.29 €
PRINCE WITHOUT SORROW WIJESEKARA MAITHREE / Libro Tapa blanda
common.buy 14.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?