phone 031 22 95 182
LIBRISTO 0
Transport gratuit la punctele de livrare Pick Up peste 299 lei
Packeta 15 lei Easybox 20 lei Cargus 25 lei FAN 25 lei
phone Contact phoneCum să cumpăr

Isabelle/HOL

Limba englezăengleză
Carte Carte broșată
Carte Isabelle/HOL Tobias Nipkow
Codul Libristo: 01564177
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, aprilie 2002
This textbook-like tutorial is a self-contained introduction to interactive proof, specification, an... Descrierea completă
? points 175 b
353 lei
În depozitul extern în cantități mici Expediem în 12-17 zile

30 de zile pentru retur bunuri

Ar putea de asemenea, să te intereseze

NOTICIAS DE UN SECUESTRO Gabriel Garcia Marquez / Carte broșată
common.buy 69 lei
L'education sentimentale Gustave Flaubert / Carte broșată
common.buy 45 lei
Liebe Dorothea... - Ein Versuch, die Erkenntnislehre Buddhas einem in westlichem Denken verankerten Menschen nahe zu bringen Peter Grieder / Carte broșată
common.buy 291 lei
curând
Contemporary Shakespeare William Shakespeare / Copertă tare
common.buy 282 lei
Heil- und Kräuterweine selbst gemacht! Bärbel Ranseder / Copertă tare
common.buy 97 lei
Micromagnetism and the Microstructure of Ferromagnetic Solids Helmut KronmüllerManfred Fähnle / Copertă tare
common.buy 1.012 lei
Online Language Teacher Education Liz England / Copertă tare
common.buy 998 lei
Rendezvous Franz Blei / Carte broșată
common.buy 124 lei
Current Sense Amplifiers Bernhard Wicht / Carte broșată
common.buy 639 lei
Poisoned Chalice Jeffrey Freedman / Copertă tare
common.buy 430 lei
Gold von Caxamalca Jakob Wassermann / Carte broșată
common.buy 93 lei
Werkstofftechnik Arnold Hohmann / Carte broșată
common.buy 215 lei
Hartlepool Monkey Wilfrid Lupano / Copertă tare
common.buy 76 lei
Expert Shell Scripting Ron Peters / Carte broșată
common.buy 267 lei

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.

Informații despre carte

Titlu complet Isabelle/HOL
Autor Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel
Limba engleză
Legare Carte - Carte broșată
Data publicării 2002
Număr pagini 226
EAN 9783540433767
ISBN 3540433767
Codul Libristo 01564177
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 370
Dimensiuni 235 x 157 x 19

Categorii

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Philosophy & Religion > Philosophy > Topics in philosophy > Philosophy: logic
Computing & Information Technology > Computer science > Artificial intelligence > Machine learning
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo