«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.

Theorem Proving in Higher Order Logics

18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings

Idioma InglésInglés
Libro Tapa blanda
Libro Theorem Proving in Higher Order Logics Joe Hurd
Código Libristo: 01561020
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, agosto 2005
This book constitutes the refereed proceedings of the 18th International Conference on Theorem Provi... 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

Eficiencia en la Gestion Financiera en un Sistema de Justicia Mexicano David Josue Ortiz Gonzalez / Libro Tapa blanda
common.buy 54.09 €
Plan C­clico de Formación Juvenil vol I I I MATAIX / Libro Libro
common.buy 2.49 €
Künstlerroman Friedrich Wilhelm Hackländer / Libro Tapa dura
common.buy 68.79 €
Nos Auteurs Et Compositeurs Dramatiques, Portraits Et Biographies Martin-J / Libro Tapa blanda
common.buy 39.59 €
Blackout Island Sigrí?ur Hagalín Björnsdóttir / Libro Tapa blanda
common.buy 10.09 €
Zwischen Widerstand und Anpassung. Die Rezeption des Nationalsozialismus in ausgewahlten judischen deutschsprachigen Zeitungen bis 1935 Daniel Kulins / Libro Tapa blanda
common.buy 15.89 €
Kibali David Kyeu / Libro Tapa blanda
common.buy 12.09 €
Erfolgsfaktoren deutscher Unternehmen bei der Marktbearbeitung in Indien Anke Hsu / Libro Tapa blanda
common.buy 37.49 €
Tierzuchtgesetz (TierZG) Sarastro Gmbh / Libro Tapa blanda
common.buy 8.99 €
dunkle Tor ins Licht Christine Hagia / Libro Tapa blanda
common.buy 16.89 €
Bologna und Emilia Romagna Carl W. Macke / Libro Tapa dura
common.buy 21.89 €
Der blaue Himmel Galsan Tschinag / Libro Tapa blanda
common.buy 12.09 €
Utopia Thomas Morus / Libro Tapa blanda
common.buy 11.09 €

This book constitutes the refereed proceedings of the 18th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2005, held in Oxford, UK, in August 2005.§The 20 revised full papers presented together with 2 invited papers and 4 proof pearls (concise and elegant presentations of interesting examples) were carefully reviewed and selected from 49 submissions. All current issues in HOL theorem proving and formal verification of software and hardware systems are addressed. Among the topics of this volume are theorem proving, verification, recursion and induction, mechanized proofs, mathematical logic, proof theory, type systems, program verification, and proving systems like HOL, Coq, ACL2, Isabelle/HOL and Isabelle/HOLCF.

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 Theorem Proving in Higher Order Logics
Autor Joe Hurd, Tom Melham
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2005
Número de páginas 414
EAN 9783540283720
ISBN 3540283722
Código Libristo 01561020
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 1310
Dimensiones 155 x 235 x 23

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 > 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 > 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

German Influence on Australian English Markus Bieswanger / Libro Tapa blanda
common.buy 49.49 €
Bioethics of Pain Management Daniel S. Goldberg / Libro Tapa dura
common.buy 242.59 €
WILDER GIRLS POWER RORY / Libro Tapa blanda
common.buy 17.09 €
The Book of My Life: de Vita Propria Liber Jerome Cardan / Libro Tapa blanda
common.buy 37.69 €
The Rebirth and Awakening of Wolfie Star-Runner Danielle Freeman / Libro Tapa blanda
common.buy 19.19 €
Discovering Ancient Biblical Hebrew Word Formation: A Workbook for the Discovery of the Original Nature of Derivational Morphology of Ancient Biblical David J Leonardi / Libro Tapa blanda
common.buy 19.19 €
Bucking the Sun Ivan Doig / Libro Tapa blanda
common.buy 16.49 €
The Stranger You Know Jane Casey / Libro Tapa blanda
common.buy 21.19 €
VMware vSphere 5.1 Cookbook Abhilash GB / Libro Tapa blanda
common.buy 58.29 €
Tinsel Devney Perry / Libro Tapa blanda
common.buy 19.09 €
Classical Associations of Places in Italy (1921) Frances Ellis Sabin / Libro Tapa blanda
common.buy 43.59 €
Osprey Emily Ever / Libro Tapa blanda
common.buy 16.89 €
Notes Upon Some of the Obscure Passages in Shakespeare's Plays; With Remarks Upon the Explanations and Amendments of the Commentators in the Editions John Howe / Libro Tapa blanda
common.buy 27.89 €
Solitude and the Sublime Frances Ferguson / Libro Tapa blanda
common.buy 73.39 €
NLP Steve Andreas / Libro Tapa blanda
common.buy 18.69 €
Excavations at Newport Street, Worcester, 2005 Peter Davenport / Libro Tapa dura
common.buy 32.99 €
Aesthetics of Appearing Martin Seel / Libro Tapa blanda
common.buy 27.99 €
Havana Babylonia: or Prostitutes in Cuba Amir Valle / Libro Tapa blanda
common.buy 18.19 €
Marxism and Alternatives I Rockmore / Libro Tapa blanda
common.buy 234.09 €
Statistical Account of the British Empire J. R. McCulloch / Libro Tapa blanda
common.buy 68.19 €
Leniency in EU Competition Law Ingrid Margrethe Halvorsen Barlund / Libro electrónico Adobe ePub DRM
common.buy 171.59 €
Paddington in Peru: Sticker Activity Book HARPER / Libro Tapa blanda
common.buy 9.09 €
THE METAPHYSICAL STATUS OF THE FACE IN THE WORK OF EMMANUEL LEVINAS Arischel NGOMA MOUSSOLO OPIE / Libro Tapa blanda
common.buy 59.99 €
Winter's Breath, Eternal Chill Jasper Montgomery / Libro Tapa blanda
common.buy 54.39 €

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?