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

Calculus of Computation

Limba englezăengleză
Carte Copertă tare
Carte Calculus of Computation Aaron R Bradley
Codul Libristo: 01294350
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, septembrie 2007
This textbook introduces computational logic from the foundations of first-order logic to state-of-t... Descrierea completă
? points 212 b
419 lei
În depozitul extern în cantități mici Expediem în 10-14 zile

30 de zile pentru retur bunuri

Ar putea de asemenea, să te intereseze

top
Let's Talk About Body Boundaries, Consent and Respect Jayneen Sanders / Carte broșată
common.buy 59 lei
curând
A Clash of Kings George Raymond Richard Martin / Carte broșată
common.buy 49 lei
Topsy and Tim: Have Itchy Heads Jean Adamson / Carte broșată
common.buy 36 lei
Business Model Generation Alexander Osterwalder / Carte broșată
common.buy 164 lei
Doctor Who: Beautiful Chaos Gary Russell / Carte broșată
common.buy 75 lei
Business 2.0 Upper Intermediate Level Teacher's Book Pack Paul Emmerson / Carte broșată
common.buy 235 lei
Medzi anarchiou a tyraniou Ivan Šimko / Carte broșată
common.buy 35 lei
Zwierzęta morskie. Maluszkowe malowanie Opracowanie zbiorowe / Carte broșată
common.buy 2 lei
Die Entstehung des qualifizierten faktischen Konzerns. Barbara Deilmann / Carte broșată
common.buy 262 lei
Goze Gerald Groemer / Copertă tare
common.buy 914 lei
Into the Hinterlands David Drake / Carte broșată
common.buy 35 lei
Partnerwahl Im Internet Jan Skopek / Carte broșată
common.buy 265 lei
Kann die Einübung in Normanerkennung die Strafrechtsdogmatik leiten? Hendrik Schneider / Carte broșată
common.buy 519 lei
Femmes Damnees Saphisme Et Poesie 18 / Carte broșată
common.buy 225 lei

This textbook introduces computational logic from the foundations of first-order logic to state-of-the-art decision procedures for arithmetic, data structures, and combination theories. The book also presents a logical approach to engineering correct software.

Informații despre carte

Titlu complet Calculus of Computation
Autor Aaron R Bradley
Limba engleză
Legare Carte - Copertă tare
Data publicării 2007
Număr pagini 366
EAN 9783540741121
ISBN 3540741127
Codul Libristo 01294350
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 730
Dimensiuni 241 x 164 x 28

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 > Algorithms & data structures
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Systems analysis & design
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