Livrare gratuită pentru comenzile peste 349,00 lei.
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje
Creați-vă un cont gratuit
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei
Cargus 28.00 lei
Easybox 20.00 lei
FAN 20.00 lei
Punct FAN 16.00 lei
Punct DPD 17.00 lei
Curier Sameday 24.00 lei
Curier DPD 25.00 lei
Contact
Cum să cumpăr
Ajutor
Livrare
Packeta 15.00 lei
Cargus 28.00 lei
Easybox 20.00 lei
FAN 20.00 lei
Punct FAN 16.00 lei
Punct DPD 17.00 lei
Curier Sameday 24.00 lei
Curier DPD 25.00 lei
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Consilier de cumpărături
Suntem aici pentru tine!
031 22 95 182
Contul meu
▸
Gol :-(
0
Livrare gratuită pentru comenzile peste 349,00 lei.
Isabelle/HOL
A Proof Assistant for Higher-Order Logic
Limba
engleză
engleză
Carte
Carte broșată
This textbook-like tutorial is a self-contained introduction to interactive proof, specification, an...
Descrierea completă
Codul Libristo: 01564177
?
169 b
169 b
365.78
lei
În depozitul extern
Expediem în 10-18 zile
30 de zile pentru retur bunuri
Clienții au cumpărat de asemenea
/
Carte broșată
139.25
lei
/
Carte broșată
212.68
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.
Actriță
&
Poliglotă
EWA KASP
pentru
Redă videoclipul
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.
Informații despre carte
Titlu complet
Isabelle/HOL
Limba
engleză
engleză
Legare
Carte - Carte broșată
Data publicării
2002
Număr pagini
226
EAN
9783540433767
ISBN
3540433767
Codul Libristo
01564177
Greutatea
370
Dimensiuni
235 x 157 x 19
Categorii
Technology, Engineering, Agriculture
>
Electronics & communications engineering
>
Electronics engineering
>
Automatic control engineering
>
Robotics
Computing & Information Technology
>
Computer programming / software engineering
>
Compilers & interpreters
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 destinataruluiAr putea de asemenea, să te intereseze
/
Copertă tare
1 003.86
lei
Consilier de cărți Libroamiko
Prin utilizarea acestui chat, comunicați cu inteligența artificială generativă. Prin utilizarea acestuia, sunteți de asemenea de acord cu prelucrarea datelor cu caracter personal.
Bună ziua! Sunt Libroamiko, consilierul dumneavoastră de cărți.
Cu ce vă pot ajuta?
Bună ziua, sunt Libroamiko, vă pot ajuta?