Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Zistiť stav objednávky

Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma

Doprava zadarmo s Packetou nad 59.99 €

Kuriér DPD 2.99 € Kuriér GLS 3.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Slovenská pošta 3.99 € Zberné miesto DPD 2.99 € Packeta 2.99 €

Kontakt

Ako nakupovať

Pomoc

Môj účet

▸ Prázdny :-(

Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Isabelle/HOL

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

A Proof Assistant for Higher-Order Logic

Tobias Nipkow

Lawrence C. Paulson

Markus Wenzel

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 01564177

Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, apríl 2002

This textbook-like tutorial is a self-contained introduction to interactive proof, specification, an... Celý popis

Libristo kód: 01564177

150 b

61.90 €

Skladom u dodávateľa Odosielame za 5-8 dní

Až 30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Gesammelte Werke Felix Hausdorff

Pevná

115.51 €

Mr Men und Little Miss Roger Hargreaves

Brožovaná

6.26 €

Kameny od A do Z Judy Hallová

Brožovaná

12.94 €

Identidad Aprehendida: Recuperando lo que nos fue robado Chris Gore

Brožovaná

14.86 €

Fun Science Triops züchten

Hra

16.98 €

Thorgal Saga - De Givre et de Feu Legrand Olivier

Kniha

21.94 €

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

Pevná

15.57 €

Killing Stalking coffret saison 1 Tome 1-4 Koogi

Kniha

57.14 €

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

Brožovaná

25.18 €

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

Pevná

13.04 €

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

Brožovaná

7.17 €

Prázdniny s Pipom Juraj Raýman

Pevná

12.33 €

Good vibes good life KING

Brožovaná

25.18 €

Encre Trias de bes

Brožovaná

23.05 €

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

Kniha

13.85 €

Selección de poemas Tomaz Salamun

Brožovaná

21.03 €

Malý milionár David Walliams

Brožovaná

13.75 €

Rendezvous Franz Blei

Brožovaná

13.54 €

Werkstofftechnik Arnold Hohmann

Brožovaná

42.88 €

Gold von Caxamalca Jakob Wassermann

Brožovaná

8.99 €

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

Pevná

19.11 €

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

Brožovaná

38.33 €

NOTICIAS DE UN SECUESTRO Gabriel Garcia Marquez

Brožovaná

13.04 €

L'education sentimentale Gustave Flaubert

Brožovaná

8.28 €

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.

Herečka & Polyglotka

EWA KASP pre

Prehrať video

Libristo má najväčší výber cudzojazyčnej literatúry. Preto si knihy kupujem tu.

Informácie o knihe

Celý názov Isabelle/HOL

Autor Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel

Jazyk

Angličtina

Väzba Kniha - Brožovaná

Dátum vydania 2002

Počet strán 226

EAN 9783540433767

ISBN 3540433767

Libristo kód 01564177

Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Váha 370

Rozmery 235 x 157 x 19

Kategórie

Technológie, strojárstvo, poľnohospodárstvo > Elektronické a komunikačné inžinierstvo > Elektrotechnické inžinierstvo > Automatická kontrola v inžinierstve > Robotika

Filozofia a náboženstvo > Filozofia > Filozofické témy > Filozofia: logika

Výpočtové a informačné technológie > Informatika > Umelá inteligencia > Strojové učenie

Výpočtové a informačné technológie > Počítačové programovanie/softvérové inžinierstvo > Prekladače a interpretre

Výpočtové a informačné technológie > Počítačové programovanie/softvérové inžinierstvo > Programovacie a skriptovacie jazyky: všeobecne

Výpočtové a informačné technológie > Informatika > Teória algoritmov

Výpočtové a informačné technológie > Informatika > Architektúra počítača a logic dizajn