Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 59.99 €
DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

Isabelle/HOL

A Proof Assistant for Higher-Order Logic

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Isabelle/HOL Tobias Nipkow
Libristo-code: 01564177
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, april 2002
This textbook-like tutorial is a self-contained introduction to interactive proof, specification, an... Volledige beschrijving
? points 150 b
61.82 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Gesammelte Werke Felix Hausdorff / Boek Gebonden (harde band)
common.buy 115.37 €
Mr Men und Little Miss Roger Hargreaves / Boek Gebonden (paperback)
common.buy 6.25 €
Kameny od A do Z Judy Hallová / Boek Gebonden (paperback)
common.buy 14.13 €
Identidad Aprehendida: Recuperando lo que nos fue robado Chris Gore / Boek Gebonden (paperback)
common.buy 15.65 €
Fun Science Triops züchten / Spel/speelgoed Spel
common.buy 16.96 €
Voordelig
Thorgal Saga - De Givre et de Feu Legrand Olivier / Boek Boek
common.buy 21.91 €
Jiří Bartoška Milovník života Dana Čermáková / Boek Gebonden (harde band)
common.buy 17.87 €
TOP
Killing Stalking coffret saison 1 Tome 1-4 Koogi / Boek Boek
common.buy 57.07 €
civiltà contadina nell'Alto Casertano. Tradizioni, abitudini, usanze e riti dei nostri nonni Salvatore Mottola / Boek Gebonden (paperback)
common.buy 25.15 €
Voordelig
Nepýtal sa, či to zvládnem Simona Rošková / Boek Gebonden (harde band)
common.buy 12.72 €
Озорные рассказы Аркадий Аверченко / Boek Gebonden (paperback)
common.buy 7.57 €
Prázdniny s Pipom Juraj Raýman / Boek Gebonden (harde band)
common.buy 13.02 €
Good vibes good life KING / Boek Gebonden (paperback)
common.buy 25.05 €
Encre Trias de bes / Boek Gebonden (paperback)
common.buy 22.92 €
Přirozené způsoby zvládání stresu Karel Nešpor / Boek Boek
common.buy 18.28 €
Selección de poemas Tomaz Salamun / Boek Gebonden (paperback)
common.buy 21.11 €
Malý milionár David Walliams / Boek Gebonden (paperback)
common.buy 15.04 €
Rendezvous Franz Blei / Boek Gebonden (paperback)
common.buy 13.53 €
Werkstofftechnik Arnold Hohmann / Boek Gebonden (paperback)
common.buy 42.83 €
Gold von Caxamalca Jakob Wassermann / Boek Gebonden (paperback)
common.buy 8.98 €
Heil- und Kräuterweine selbst gemacht! Bärbel Ranseder / Boek Gebonden (harde band)
common.buy 23.23 €
Liebe Dorothea... - Ein Versuch, die Erkenntnislehre Buddhas einem in westlichem Denken verankerten Menschen nahe zu bringen Peter Grieder / Boek Gebonden (paperback)
common.buy 38.28 €
TOP
NOTICIAS DE UN SECUESTRO Gabriel Garcia Marquez / Boek Gebonden (paperback)
common.buy 13.73 €
TOP
L'education sentimentale Gustave Flaubert / Boek Gebonden (paperback)
common.buy 8.27 €

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.

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Isabelle/HOL
Auteur Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2002
Aantal pagina's 226
EAN 9783540433767
ISBN 3540433767
Libristo-code 01564177
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 370
Afmetingen 235 x 157 x 19

Categorieën

Technologie, techniek, landbouw, industriële processen > Elektronica en communicatietechnologie > Elektronicatechnologie > Automatische controletechnologie > Robotica
Filosofie en religie > Filosofie > Onderwerpen in de filosofie > Filosofie: logica
Informatica en informatietechnologie > Informatica > Kunstmatige intelligentie (AI) > Machinaal leren
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Vertaal- en vertolkingsprogramma‘s
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Programmeren en scripttalen: algemeen
Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie
Informatica en informatietechnologie > Informatica > Computerarchitectuur en logica-ontwerp
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

FRENCH Clements / Boek Gebonden (paperback)
common.buy 14.84 €
Expert Shell Scripting Ron Peters / Boek Gebonden (paperback)
common.buy 38.58 €
You Can Do Anything, Tyrone! Salomey Doku / Boek Gebonden (paperback)
common.buy 8.17 €
Tarot Cards Loretta Johnson / Boek Gebonden (paperback)
common.buy 14.24 €
Indiana's Lost Speedways and Legendary Drivers Mark L. Eutsler / Boek Gebonden (paperback)
common.buy 22.12 €
Introduction to Machine Learning Ethem (OEzyegin University) Alpaydin / Boek Gebonden (harde band)
common.buy 105.87 €
Defendu W E Fairbairn / Boek Gebonden (paperback)
common.buy 19.29 €
How to Cast Your Own Spells & Charms Sally Morningstar / Boek Gebonden (harde band)
common.buy 8.17 €
Parsifal Charles Kovacs / Boek Gebonden (paperback)
common.buy 17.06 €
Gunsmoke and Saddle Leather Charles G. Worman / Boek Gebonden (harde band)
common.buy 35.45 €
Economics and Politics of Accounting Christian Leuz / Boek Gebonden (harde band)
common.buy 109.81 €
Micromagnetism and the Microstructure of Ferromagnetic Solids Helmut KronmüllerManfred Fähnle / Boek Gebonden (harde band)
common.buy 200.94 €
Milton: Paradise Lost A E Dyson / Boek Gebonden (paperback)
common.buy 50.30 €
Mathematics for Machine Learning NIBEDITA Sahu / Boek Gebonden (paperback)
common.buy 31.61 €
Poisoned Chalice Jeffrey Freedman / Boek Gebonden (harde band)
common.buy 57.17 €
Current Sense Amplifiers Bernhard Wicht / Boek Gebonden (paperback)
common.buy 102.84 €
Hartlepool Monkey Wilfrid Lupano / Boek Gebonden (harde band)
common.buy 14.84 €
Online Language Teacher Education Liz England / Boek Gebonden (harde band)
common.buy 234.69 €
The Ultimate Guide to Chanel Bags FULLERTON ALEXANDRA / Boek Gebonden (harde band)
common.buy 33.63 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?