Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost Kurier 12.99 zł Punkt DPD 13.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Isabelle/HOL

A Proof Assistant for Higher-Order Logic

Język AngielskiAngielski
Książka Miękka
Książka Isabelle/HOL Tobias Nipkow
Kod Libristo: 01564177
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, kwiecień 2002
This textbook-like tutorial is a self-contained introduction to interactive proof, specification, an... Cały opis
? points 150 b
264.30 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Gesammelte Werke Felix Hausdorff / Książka Twarda
common.buy 492.94 zł
Mr Men und Little Miss Roger Hargreaves / Książka Miękka
common.buy 26.67 zł
Kameny od A do Z Judy Hallová / Książka Miękka
common.buy 60.53 zł
Identidad Aprehendida: Recuperando lo que nos fue robado Chris Gore / Książka Miękka
common.buy 67.00 zł
Fun Science Triops züchten / Gra/Zabawka Gra
common.buy 72.66 zł
Tanie
Thorgal Saga - De Givre et de Feu Legrand Olivier / Książka Książka
common.buy 93.89 zł
Jiří Bartoška Milovník života Dana Čermáková / Książka Twarda
common.buy 71.75 zł
TOP
Killing Stalking coffret saison 1 Tome 1-4 Koogi / Książka Książka
common.buy 243.99 zł
civiltà contadina nell'Alto Casertano. Tradizioni, abitudini, usanze e riti dei nostri nonni Salvatore Mottola / Książka Miękka
common.buy 107.64 zł
Tanie
Nepýtal sa, či to zvládnem Simona Rošková / Książka Twarda
common.buy 54.57 zł
Озорные рассказы Аркадий Аверченко / Książka Miękka
common.buy 30.52 zł
Prázdniny s Pipom Juraj Raýman / Książka Twarda
common.buy 55.58 zł
Good vibes good life KING / Książka Miękka
common.buy 107.64 zł
Encre Trias de bes / Książka Miękka
common.buy 98.24 zł
Přirozené způsoby zvládání stresu Karel Nešpor / Książka Książka
common.buy 74.08 zł
Selección de poemas Tomaz Salamun / Książka Miękka
common.buy 89.65 zł
Malý milionár David Walliams / Książka Miękka
common.buy 64.17 zł
Rendezvous Franz Blei / Książka Miękka
common.buy 57.70 zł
Werkstofftechnik Arnold Hohmann / Książka Miękka
common.buy 182.94 zł
Gold von Caxamalca Jakob Wassermann / Książka Miękka
common.buy 38.60 zł
Heil- und Kräuterweine selbst gemacht! Bärbel Ranseder / Książka Twarda
common.buy 94.19 zł
Liebe Dorothea... - Ein Versuch, die Erkenntnislehre Buddhas einem in westlichem Denken verankerten Menschen nahe zu bringen Peter Grieder / Książka Miękka
common.buy 163.73 zł
TOP
NOTICIAS DE UN SECUESTRO Gabriel Garcia Marquez / Książka Miękka
common.buy 55.58 zł
TOP
L'education sentimentale Gustave Flaubert / Książka Miękka
common.buy 35.26 zł

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.

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Isabelle/HOL
Autor Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel
Język Angielski
Oprawa Książka - Miękka
Data wydania 2002
Liczba stron 226
EAN 9783540433767
ISBN 3540433767
Kod Libristo 01564177
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga 370
Wymiary 235 x 157 x 19

Kategoria

Technika, inżynieria i rolnictwo, procesy przemysłowe > Elektronika i telekomunikacja > Inżynieria elektroniczna > Automatyka przemysłowa > Robotyka
Filozofia i religia > Filozofia > Działy filozofii > Logika (filozofia)
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Sztuczna inteligencja > Uczenie maszynowe / Systemy uczące się
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Kompilatory i interpretery
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Języki skryptowe – zagadnienia ogólne
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Projektowanie architektury komputerowej i projektowanie logiczne
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

FRENCH Clements / Książka Miękka
common.buy 59.42 zł
Expert Shell Scripting Ron Peters / Książka Miękka
common.buy 165.15 zł
You Can Do Anything, Tyrone! Salomey Doku / Książka Miękka
common.buy 32.84 zł
Tarot Cards Loretta Johnson / Książka Miękka
common.buy 61.04 zł
Indiana's Lost Speedways and Legendary Drivers Mark L. Eutsler / Książka Miękka
common.buy 89.04 zł
Introduction to Machine Learning Ethem (OEzyegin University) Alpaydin / Książka Twarda
common.buy 446.04 zł
Defendu W E Fairbairn / Książka Miękka
common.buy 82.57 zł
How to Cast Your Own Spells & Charms Sally Morningstar / Książka Twarda
common.buy 32.84 zł
Parsifal Charles Kovacs / Książka Miękka
common.buy 68.42 zł
Gunsmoke and Saddle Leather Charles G. Worman / Książka Twarda
common.buy 151.50 zł
Economics and Politics of Accounting Christian Leuz / Książka Twarda
common.buy 469.49 zł
Micromagnetism and the Microstructure of Ferromagnetic Solids Helmut KronmüllerManfred Fähnle / Książka Twarda
common.buy 776.76 zł
Milton: Paradise Lost A E Dyson / Książka Miękka
common.buy 194.46 zł
Mathematics for Machine Learning NIBEDITA Sahu / Książka Miękka
common.buy 135.13 zł
Poisoned Chalice Jeffrey Freedman / Książka Twarda
common.buy 244.39 zł
Current Sense Amplifiers Bernhard Wicht / Książka Miękka
common.buy 439.67 zł
Hartlepool Monkey Wilfrid Lupano / Książka Twarda
common.buy 59.42 zł
Online Language Teacher Education Liz England / Książka Twarda
common.buy 1 003.17 zł
The Ultimate Guide to Chanel Bags FULLERTON ALEXANDRA / Książka Twarda
common.buy 143.62 zł

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo
Doradca książkowy Libroamiko
Cześć, jestem Libroamiko, w czym mogę pomóc?