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

Limba englezăengleză
Carte Carte broșată
Carte Isabelle Lawrence C. Paulson
Codul Libristo: 02780943
Editura Springer, Berlin, noiembrie 1993
An introduction to Isabelle, a genetic theorem prover which supports a variety of logics. The volume... Descrierea completă
? points 161 b
324 lei
În depozitul extern în cantități mici Expediem în 12-15 zile

30 de zile pentru retur bunuri

Ar putea de asemenea, să te intereseze

Alice's Adventures in Wonderland colouring book John Tenniel / Carte broșată
common.buy 71 lei
Healing Code Alexander Loyd / Carte broșată
common.buy 83 lei
Nevěrná Vladimír Kavčiak / Copertă tare
common.buy 37 lei
Odvaha za úsvitu Helen Lawsonová / Carte broșată
common.buy 17 lei
Špaky v tŕní Zuzana Cigánová / Copertă tare
common.buy 27 lei
Protection of Electronic Circuits R Standler / Carte broșată
common.buy 129 lei
Natural Hazard Mitigation Policy Daniel J. Alesch / Carte broșată
common.buy 638 lei
Account Of The Remarkable Occurrences In The Life And Travels Of Col. James Smith W. M. Darlington / Carte broșată
common.buy 157 lei
Minus Drei und der Zahlensalat Ute Krause / Copertă tare
common.buy 46 lei
Non-Archimedean Tame Topology and Stably Dominated Types (AM-192) Ehud Hrushovski / Carte broșată
common.buy 506 lei
Modeling by Object-Driven Linear Elemental Relations H.J. Greenberg / Carte broșată
common.buy 981 lei
Geschichtspolitik in Der "berliner Republik" Manuel Becker / Carte broșată
common.buy 438 lei
Rechtsschutz gegen nicht zur Rechtsetzung gehörende Akte der Legislative. Hubert Schmelter / Carte broșată
common.buy 252 lei
Managing Service Productivity Ali Emrouznejad / Copertă tare
common.buy 981 lei
Innovationsfinanzierung durch Venture Capital Arno Nonnen / Carte broșată
common.buy 390 lei
Primary Bone Tumors and Tumorous Conditions in Children Claus-Peter Adler / Carte broșată
common.buy 548 lei

An introduction to Isabelle, a genetic theorem prover which supports a variety of logics. The volume outlines theoretical aspects and then demonstrates Isabelle's use in practice. All functions are described, and advice is given on correct usage.

Informații despre carte

Titlu complet Isabelle
Autor Lawrence C. Paulson, Tobias Nipkow
Limba engleză
Legare Carte - Carte broșată
Data publicării 1994
Număr pagini 329
EAN 9783540582441
ISBN 3540582444
Codul Libristo 02780943
Editura Springer, Berlin
Greutatea 535
Dimensiuni 156 x 234 x 18

Categorii

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer science > Artificial intelligence
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