Spedizione gratuita per ordini superiori a 69,99 euro.

Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €

Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € DHL 6.99 € GLS 5.99 € Punto GLS 4.49 €

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Spedizione gratuita per ordini superiori a 69,99 euro.

Isabelle/HOL

Name: Isabelle/HOL
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01564177
Price: 75.89 EUR
Availability: InStock
Author: Tobias Nipkow
ISBN: 9783540433767

A Proof Assistant for Higher-Order Logic

Tobias Nipkow

Lawrence C. Paulson

Markus Wenzel

Lingua

Inglese

Libro In brossura

Codice Libristo: 01564177

Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, aprile 2002

This textbook-like tutorial is a self-contained introduction to interactive proof, specification, an... Descrizione completa

Codice Libristo: 01564177

186 b

75.89 €

Magazzino esterno Inviamo tra 10-18 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Gesammelte Werke Felix Hausdorff

Rigido

133.29 €

Mr Men und Little Miss Roger Hargreaves

In brossura

6.49 €

Kameny od A do Z Judy Hallová

In brossura

14.79 €

Identidad Aprehendida: Recuperando lo que nos fue robado Chris Gore

In brossura

16.29 €

Fun Science Triops züchten

Gioco

20.29 €

Thorgal Saga - De Givre et de Feu Legrand Olivier

Libro

21.69 €

Jiří Bartoška Milovník života Dana Čermáková

Rigido

18.69 €

Killing Stalking coffret saison 1 Tome 1-4 Koogi

Libro

58.89 €

civiltà contadina nell'Alto Casertano. Tradizioni, abitudini, usanze e riti dei nostri nonni Salvatore Mottola

In brossura

26.29 €

Nepýtal sa, či to zvládnem Simona Rošková

Rigido

12.59 €

Озорные рассказы Аркадий Аверченко

In brossura

7.49 €

Prázdniny s Pipom Juraj Raýman

Rigido

13.59 €

Good vibes good life KING

In brossura

25.89 €

Encre Trias de bes

In brossura

23.69 €

Přirozené způsoby zvládání stresu Karel Nešpor

Libro

19.09 €

Selección de poemas Tomaz Salamun

In brossura

20.89 €

Rendezvous Franz Blei

In brossura

22.79 €

Werkstofftechnik Arnold Hohmann

In brossura

50.39 €

Gold von Caxamalca Jakob Wassermann

In brossura

17.19 €

Heil- und Kräuterweine selbst gemacht! Bärbel Ranseder

Rigido

22.99 €

Liebe Dorothea... - Ein Versuch, die Erkenntnislehre Buddhas einem in westlichem Denken verankerten Menschen nahe zu bringen Peter Grieder

In brossura

40.09 €

NOTICIAS DE UN SECUESTRO Gabriel Garcia Marquez

In brossura

12.89 €

L'education sentimentale Gustave Flaubert

In brossura

8.79 €

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.

Attrice & Poliglotta

EWA KASP per

Riproduci video

Libristo ha la più grande selezione di letteratura in lingue straniere. Per questo compro i miei libri qui.

Informazioni sul libro

Titolo completo Isabelle/HOL

Autore Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel

Lingua

Inglese

Rilegatura Libro - In brossura

Data di pubblicazione 2002

Numero di pagine 226

EAN 9783540433767

ISBN 3540433767

Codice Libristo 01564177

Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Peso 370

Dimensioni 235 x 157 x 19

Categorie

Tecnologia, Ingegneria, Agricoltura, processi industriali > Ingegneria elettronica e delle comunicazioni > Ingegneria elettronica > Ingegneria del controllo automatico > Robotica

Filosofia e Religione > Filosofia > Argomenti in filosofia > Filosofia: logica

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Intelligenza artificiale > Apprendimento automatico (Machine learning)

Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Compilatori e interpreti

Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Linguaggi di programmazione e scripting: generale

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Teoria matematica della computazione

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Architettura e progettazione logica dei computer