«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

14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001. Proceedings

Idioma InglésInglés
Libro Tapa blanda
Libro Theorem Proving in Higher Order Logics Richard J. Boulton
Código Libristo: 01563734
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, agosto 2001
This book constitutes the thoroughly refereed proceedings of the 14th International Conference on Th... 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

Filozof i papiez Wybor tekstow Jaroslaw Merecki / Libro Tapa dura
common.buy 17.39 €
Nero & bollente. Autobiografia del caffè Ivano Porpora / Libro Tapa blanda
common.buy 22.09 €
Des orties et des hommes Pigani / Libro Tapa blanda
common.buy 26.59 €
BOHEMIAN RHAPSODY CONCERT BAND/HARMONIE FREDDIE MERCURY Libro binding.
common.buy 35.79 €
Departement de la Seine-Inferieure. Asile Public d'Alienes de Saint-Yon Saint-Etienne-Du-Rouvray CORTYL-E / Libro Tapa blanda
common.buy 19.09 €
Ciplak Maymun Morris Desmond / Libro Tapa blanda
common.buy 17.69 €
Gray Naip'ddle Alvaro Espino / Libro Tapa blanda
common.buy 20.19 €
Else Lasker-Schüler, Elise Bambus & die "Irrenanstalt Dalldorf" Thomas Höfert / Libro Tapa blanda
common.buy 21.99 €
Homo sapiens: die Krone der Schoepfung Martin Rhonheimer / Libro Tapa dura
common.buy 84.39 €
Planet der Zehnwortdiktatur (Teil 1) Michael Häusler / Libro Tapa blanda
common.buy 11.99 €
Elektronik aus dem Laserdrucker Dustin Büttner / Libro Tapa blanda
common.buy 44.39 €
Deckungsbeitragsrechnung im Getränkefachgroßhandel Aco Michael Tschernutter / Libro Tapa dura
common.buy 49.19 €

This book constitutes the thoroughly refereed proceedings of the 14th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2001, held in Edinburgh, Scotlang, UK in September 2001. The 23 revised full papers presented together with one invited paper and two invited abstracts were carefully reviewed and selected from a total of 47 submissions. All current issues in HOL theorem proving and formal verification of hardware and software systems are addressed. Among the HOL theorem proving systems evaluated are Coq, HOL, Isabelle, and PVS.

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 Richard J. Boulton, Paul B. Jackson
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2001
Número de páginas 402
EAN 9783540425250
ISBN 354042525X
Código Libristo 01563734
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 1270
Dimensiones 155 x 233 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
Computación e informática > Ciencias de la computación > Inteligencia artificial > Aprendizaje automático («Machine learning»)
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
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

Theory of Chess; A Treatise, in Which the Principles and Maxims of This Game, or Rather Science, Are Clearly and Concisely Explained; ... Peter Pratt / Libro Tapa blanda
common.buy 16.39 €
Paley's Moral Philosophy: With Annotations (1859) William Paley / Libro Tapa blanda
common.buy 29.89 €
Ultimate Guide to Analyze People Michael Edwards / Libro Tapa blanda
common.buy 10.69 €
Rosamunde Pilcher's Cornwall Gill Knappett / Libro Tapa blanda
common.buy 7.29 €
The Sagebrusher: A Story of The West Emerson Hough / Libro Tapa blanda
common.buy 10.69 €
Understanding Children's Emotions Isabelle Filliozat / Libro Tapa blanda
common.buy 19.79 €
Reading Country Music Cecelia Tichi / Libro Tapa blanda
common.buy 44.39 €
How the Other Half Lives Jacob A Riis / Libro Tapa blanda
common.buy 18.39 €
Odyssey Homer / Libro electrónico Adobe ePub DRM
common.buy 20.09 €
My Graduation Maria Morales / Libro Tapa blanda
common.buy 8.79 €
IMMOBILIZABLE BISUBSTRATE-ANALOGUE INHIBITORS OF PROTEIN KINASES Kaido Viht / Libro Tapa blanda
common.buy 52.99 €
Adventures of Uncle Rocky, Fireman James Burd Brewster / Audiolibro MP3
common.buy 10.79 €
ISG 48: A Commentary on Acts Yon Gyong Kwon / Libro Tapa blanda
common.buy 22.79 €
Handbook of Positive Psychology in Intellectual and Developmental Disabilities Karrie A. Shogren / Libro electrónico Adobe ePub DRM
common.buy 572.69 €
The Book of Job: A New Translation Lee Roy Martin / Libro Tapa blanda
common.buy 16.29 €
Mechanics and Physics of Precise Vacuum Mechanisms E. A. Deulin / Libro Tapa blanda
common.buy 162.79 €
Applied Quantum Chemistry J. Angyan / Libro Tapa dura
common.buy 337.89 €
Popular
Keep Calm And Code On Alex Lau / Libro Tapa blanda
common.buy 16.49 €
University Consolidation. A Plea for Higher Education in Ontario / Libro Tapa dura
common.buy 32.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?