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

Isabelle/HOL

A Proof Assistant for Higher-Order Logic

Idioma InglésInglés
Libro Tapa blanda
Libro Isabelle/HOL Tobias Nipkow
Código Libristo: 01564177
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, abril 2002
This textbook-like tutorial is a self-contained introduction to interactive proof, specification, an... Descripción completa
? points 166 b
67.79 €
Almacenamiento externo Envío en 5-8 días

Hasta 30 días para devoluciones

Clientes que también han comprado

Gesammelte Werke Felix Hausdorff / Libro Tapa dura
common.buy 126.49 €
Mr Men und Little Miss Roger Hargreaves / Libro Tapa blanda
common.buy 6.69 €
Kameny od A do Z Judy Hallová / Libro Tapa blanda
common.buy 15.19 €
Identidad Aprehendida: Recuperando lo que nos fue robado Chris Gore / Libro Tapa blanda
common.buy 16.29 €
Fun Science Triops züchten / Juego/Juguete Juego
common.buy 18.69 €
Económico
Thorgal Saga - De Givre et de Feu Legrand Olivier / Libro Libro
common.buy 21.69 €
Jiří Bartoška Milovník života Dana Čermáková / Libro Tapa dura
common.buy 19.09 €
Popular
Killing Stalking coffret saison 1 Tome 1-4 Koogi / Libro Libro
common.buy 57.49 €
civiltà contadina nell'Alto Casertano. Tradizioni, abitudini, usanze e riti dei nostri nonni Salvatore Mottola / Libro Tapa blanda
common.buy 27.69 €
Económico
Nepýtal sa, či to zvládnem Simona Rošková / Libro Tapa dura
common.buy 12.59 €
Озорные рассказы Аркадий Аверченко / Libro Tapa blanda
common.buy 7.89 €
Prázdniny s Pipom Juraj Raýman / Libro Tapa dura
common.buy 13.89 €
Good vibes good life KING / Libro Tapa blanda
common.buy 25.29 €
Encre Trias de bes / Libro Tapa blanda
common.buy 23.09 €
Přirozené způsoby zvládání stresu Karel Nešpor / Libro Libro
common.buy 19.39 €
Selección de poemas Tomaz Salamun / Libro Tapa blanda
common.buy 20.29 €
Malý milionár David Walliams / Libro Tapa blanda
common.buy 15.99 €
Rendezvous Franz Blei / Libro Tapa blanda
common.buy 14.89 €
Werkstofftechnik Arnold Hohmann / Libro Tapa blanda
common.buy 47.39 €
Gold von Caxamalca Jakob Wassermann / Libro Tapa blanda
common.buy 9.99 €
Heil- und Kräuterweine selbst gemacht! Bärbel Ranseder / Libro Tapa dura
common.buy 23.49 €
Liebe Dorothea... - Ein Versuch, die Erkenntnislehre Buddhas einem in westlichem Denken verankerten Menschen nahe zu bringen Peter Grieder / Libro Tapa blanda
common.buy 42.39 €
Popular
NOTICIAS DE UN SECUESTRO Gabriel Garcia Marquez / Libro Tapa blanda
common.buy 13.19 €
Popular
L'education sentimentale Gustave Flaubert / Libro Tapa blanda
common.buy 9.39 €

This textbook-like tutorial is a self-contained introduction to interactive proof, specification, and verification in higher-order logic, using the proof assistant Isabelle 2002. In contrast to existing Isabelle documentation, this book provides a direct route into higher-order logic by bypassing first-order logic and minimizing discussion of meta-theory.Isabelle is a generic system for implementing logical formalisms, and Isabelle/HOL is the specialization of Isabelle for higher-order logic; this theorem prover is well suited as a specification and verification system.

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 Isabelle/HOL
Autor Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2002
Número de páginas 226
EAN 9783540433767
ISBN 3540433767
Código Libristo 01564177
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 370
Dimensiones 235 x 157 x 19

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
Filosofía y religión > Filosofía > Temas de la filosofía > Filosofía: lógica
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 > 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

FRENCH Clements / Libro Tapa blanda
common.buy 14.99 €
Expert Shell Scripting Ron Peters / Libro Tapa blanda
common.buy 42.49 €
You Can Do Anything, Tyrone! Salomey Doku / Libro Tapa blanda
common.buy 8.29 €
Tarot Cards Loretta Johnson / Libro Tapa blanda
common.buy 14.99 €
Indiana's Lost Speedways and Legendary Drivers Mark L. Eutsler / Libro Tapa blanda
common.buy 21.89 €
Introduction to Machine Learning Ethem (OEzyegin University) Alpaydin / Libro Tapa dura
common.buy 111.49 €
Defendu W E Fairbairn / Libro Tapa blanda
common.buy 19.99 €
How to Cast Your Own Spells & Charms Sally Morningstar / Libro Tapa dura
common.buy 8.29 €
Parsifal Charles Kovacs / Libro Tapa blanda
common.buy 17.29 €
Gunsmoke and Saddle Leather Charles G. Worman / Libro Tapa dura
common.buy 38.99 €
Economics and Politics of Accounting Christian Leuz / Libro Tapa dura
common.buy 113.29 €
Micromagnetism and the Microstructure of Ferromagnetic Solids Helmut KronmüllerManfred Fähnle / Libro Tapa dura
common.buy 212.09 €
Milton: Paradise Lost A E Dyson / Libro Tapa blanda
common.buy 53.09 €
Mathematics for Machine Learning NIBEDITA Sahu / Libro Tapa blanda
common.buy 32.79 €
Poisoned Chalice Jeffrey Freedman / Libro Tapa dura
common.buy 61.69 €
Current Sense Amplifiers Bernhard Wicht / Libro Tapa blanda
common.buy 112.79 €
Hartlepool Monkey Wilfrid Lupano / Libro Tapa dura
common.buy 14.99 €
Online Language Teacher Education Liz England / Libro Tapa dura
common.buy 242.59 €
The Ultimate Guide to Chanel Bags FULLERTON ALEXANDRA / Libro Tapa dura
common.buy 37.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?