phone 571 999 090
LIBRISTO 0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
PPL Parcel Shop 54 Kč Balík do ruky 74 Kč Balíkovna 49 Kč GLS 54 Kč Kurýr GLS 74 Kč Zásilkovna 49 Kč PPL 99 Kč
phone Kontakt phoneJak nakupovat

Isabelle/HOL

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Isabelle/HOL Tobias Nipkow
Libristo kód: 01564177
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, dubna 2002
This textbook-like tutorial is a self-contained introduction to interactive proof, specification, an... Celý popis
? points 168 b
1 676 Kč včetně DPH
Skladem u dodavatele v malém množství Odesíláme za 13-16 dnů

30 dní na vrácení zboží

Mohlo by vás také zajímat

NOTICIAS DE UN SECUESTRO Gabriel Garcia Marquez / Brožovaná
common.buy 325 Kč
L'education sentimentale Gustave Flaubert / Brožovaná
common.buy 254 Kč
Připravujeme
Contemporary Shakespeare William Shakespeare / Pevná
common.buy 1 403 Kč
Liebe Dorothea... - Ein Versuch, die Erkenntnislehre Buddhas einem in westlichem Denken verankerten Menschen nahe zu bringen Peter Grieder / Brožovaná
common.buy 1 380 Kč
Heil- und Kräuterweine selbst gemacht! Bärbel Ranseder / Pevná
common.buy 484 Kč
Micromagnetism and the Microstructure of Ferromagnetic Solids Helmut KronmüllerManfred Fähnle / Pevná
common.buy 4 808 Kč
Poisoned Chalice Jeffrey Freedman / Pevná
common.buy 2 136 Kč
Rendezvous Franz Blei / Brožovaná
common.buy 587 Kč
Current Sense Amplifiers Bernhard Wicht / Brožovaná
common.buy 3 037 Kč
Online Language Teacher Education Liz England / Pevná
common.buy 5 308 Kč
Gold von Caxamalca Jakob Wassermann / Brožovaná
common.buy 442 Kč
Werkstofftechnik Arnold Hohmann / Brožovaná
common.buy 1 071 Kč
Hartlepool Monkey Wilfrid Lupano / Pevná
common.buy 379 Kč
Expert Shell Scripting Ron Peters / Brožovaná
common.buy 1 268 Kč

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.

Informace o knize

Plný název Isabelle/HOL
Autor Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2002
Počet stran 226
EAN 9783540433767
ISBN 3540433767
Libristo kód 01564177
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 370
Rozměry 235 x 157 x 19

Kategorie

Technologie, strojírenství, zemědělství > Elektronické a komunikační inženýrství > Elektrotechnické inženýrství > Automatická kontrola v inženýrství > Robotika
Filozofie a náboženství > Filozofie > Filozofická témata > Filozofie: logika
Výpočetní a informační technologie > Informatika > Umělá inteligence > Strojní učení
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Překladače a interpretry
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Programovací a skriptovací jazyky: obecně
Výpočetní a informační technologie > Informatika > Teorie algoritmů
Výpočetní a informační technologie > Informatika > Architektura počítače a logic design
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

Nemáte účet? Získejte výhody Libristo účtu!

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet