Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Проверка на състоянието на поръчката

Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт

Безплатна доставка със Еконт над 69.99 €

Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €

Контакт

Как се пазарува?

Помощ

Моят акаунт

▸ Празна :-(

Isabelle/HOL

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

A Proof Assistant for Higher-Order Logic

Tobias Nipkow

Lawrence C. Paulson

Markus Wenzel

Език

Английски език

Книга С меки корици

Код Либристо: 01564177

Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, април 2002

This textbook-like tutorial is a self-contained introduction to interactive proof, specification, an... Цялото описание

Код Либристо: 01564177

158 b

65.32 €

127.76 лв

Външен склад Изпращаме след 5-8 дни

До 30 дни за връщане на стоки

Клиентите са закупили също

Gesammelte Werke Felix Hausdorff

С твърди корици

121.80 € 238.21 лв

Mr Men und Little Miss Roger Hargreaves

С меки корици

6.52 € 12.75 лв

Kameny od A do Z Judy Hallová

С меки корици

15.01 € 29.35 лв

Identidad Aprehendida: Recuperando lo que nos fue robado Chris Gore

С меки корици

15.73 € 30.77 лв

Fun Science Triops züchten

Игра

18.01 € 35.22 лв

Thorgal Saga - De Givre et de Feu Legrand Olivier

Книга

21.99 € 43.02 лв

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

С твърди корици

18.89 € 36.94 лв

Killing Stalking coffret saison 1 Tome 1-4 Koogi

Книга

59.63 € 116.62 лв

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

С меки корици

26.60 € 52.03 лв

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

С твърди корици

12.78 € 25.00 лв

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

С меки корици

7.55 € 14.77 лв

Prázdniny s Pipom Juraj Raýman

С твърди корици

13.71 € 26.82 лв

Good vibes good life KING

С меки корици

26.24 € 51.32 лв

Encre Trias de bes

С меки корици

23.96 € 46.86 лв

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

Книга

19.30 € 37.75 лв

Selección de poemas Tomaz Salamun

С меки корици

21.94 € 42.92 лв

Malý milionár David Walliams

С меки корици

15.83 € 30.97 лв

Rendezvous Franz Blei

С меки корици

14.28 € 27.93 лв

Werkstofftechnik Arnold Hohmann

С меки корици

45.39 € 88.78 лв

Gold von Caxamalca Jakob Wassermann

С меки корици

9.57 € 18.72 лв

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

С твърди корици

23.29 € 45.55 лв

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

С меки корици

40.63 € 79.46 лв

NOTICIAS DE UN SECUESTRO Gabriel Garcia Marquez

С меки корици

13.76 € 26.92 лв

L'education sentimentale Gustave Flaubert

С меки корици

8.90 € 17.40 лв

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.