Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
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
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier DPD 25.00 lei FAN Courier 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile de peste 349 LEI prin Easybox, FAN BOX și Coletăria.

Little Prover

Limba englezăengleză
Carte Carte broșată
Carte Little Prover Carl Eastlund
Codul Libristo: 09392623
Editura MIT Press Ltd, iulie 2015
An introduction to writing proofs about computer programs, written in an accessible question-and-ans...
? points 111 b
242.37 lei
În depozitul extern Expediem în 14-21 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Top
Little Typer Friedman / Carte Carte broșată
common.buy 373.69 lei
Reasoned Schemer Friedman / Carte Carte broșată
common.buy 283.57 lei
Seasoned Schemer Friedman / Carte Carte broșată
common.buy 313.84 lei
Little Schemer Matthias Felleisen / Carte Carte broșată
common.buy 283.57 lei
Top
Art of Computer Programming, The, Volumes 1-4B, Boxed Set Donald Knuth / Carte Copertă tare
common.buy 1 464.81 lei
TCP/IP Illustrated, Volume 3 W. Richard Stevens / Carte Carte broșată
common.buy 357.48 lei
Top
The awk Programming Language Brian Kernighan / Carte Carte broșată
common.buy 198.07 lei
Top
Structure and Interpretation of Computer Programs H Abelson / Carte Carte broșată
common.buy 441.15 lei

An introduction to writing proofs about computer programs, written in an accessible question-and-answer style, complete with step-by-step examples and a simple proof assistant.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
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 Little Prover
Autor Carl Eastlund
Limba engleză
Legare Carte - Carte broșată
Data publicării 2015
Număr pagini 248
EAN 9780262527958
ISBN 9780262527958
Codul Libristo 09392623
Editura MIT Press Ltd
Greutatea 472
Dimensiuni 179 x 231 x 16

Categorii

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Computing & Information Technology > Computer programming / software engineering > Mobile & handheld device programming / Apps programming
Computing & Information Technology > Computer programming / software engineering > Web programming
Computing & Information Technology > Computer programming / software engineering > Software Engineering
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

Ar putea de asemenea, să te intereseze

Little Prover Daniel P. Friedman / E-book Adobe ePub DRM
common.buy 249.82 lei
Haskell Road to Logic, Maths and Programming Kees Doets / Carte Carte broșată
common.buy 120.08 lei
Making Medical Decisions for the Profoundly Mentally Disabled N.L. Cantor / Carte Copertă tare
common.buy 65.55 lei
Top
One Piece, Vol. 94 Eiichiro Oda / Carte Carte broșată
common.buy 55.02 lei
Popular Fiction by Women 1660-1730 Backscheider / Carte Carte broșată
common.buy 833.69 lei
Top
The Elements of Baking Katarina Cermelj / Carte Copertă tare
common.buy 159.27 lei
Top
Dessert Person Claire Saffitz / Carte Copertă tare
common.buy 155.36 lei
Top
Japanese Tattoos Yori Moriarty / Carte Copertă tare
common.buy 133.41 lei
We Never Learn, Vol. 2 Taishi Tsutsui / Carte Carte broșată
common.buy 43.39 lei
Top
Mob Psycho 100 Volume 7 ONE / Carte Carte broșată
common.buy 57.23 lei
Top
Mushoku Tensei: Jobless Reincarnation (Light Novel) Vol. 13 Shirotaka / Carte Carte broșată
common.buy 76.07 lei
Top
Grandmaster of Demonic Cultivation: Mo Dao Zu Shi (Novel) Vol. 2 Mo Xiang Tong Xiu / Carte Carte broșată
common.buy 84.99 lei
Top
Konosuba: God's Blessing on This Wonderful World!, Vol. 15 (light novel) Natsume Akatsuki / Carte Carte broșată
common.buy 67.45 lei
Top
Halo Encyclopedia Microsoft / Carte Copertă tare
common.buy 218.92 lei
Top
Everyday Witch Oracle Deborah Blake / Materiale tipărite Cărți
common.buy 113.06 lei
Top
Kingdom of the Wicked Kerri Maniscalco / Carte Carte broșată
common.buy 51.71 lei
Top
Creative Haven Fairy Gardens Coloring Book Marty Noble / Carte Carte broșată
common.buy 30.26 lei
Top
Gut and Physiology Syndrome Natasha Campbell-McBride / Carte Carte broșată
common.buy 154.76 lei
Top
Jolly Phonics Pupil Book 1 Sue Lloyd / Carte Carte broșată
common.buy 36.38 lei
Top
This Winter Alice Oseman / Carte Carte broșată
common.buy 59.83 lei
Top
Three Minutes for a Dog Apn Rn Norman DePaul Brown MSPH / Carte Carte broșată
common.buy 115.97 lei
Top
Harry Potter and the Philosopher's Stone Joanne K. Rowling / Carte Copertă tare
common.buy 210.80 lei
Top
Persona 5, Vol. 4 Hisato Murasaki / Carte Carte broșată
common.buy 55.02 lei
Top Curând
BEASTARS, Vol. 7 Paru Itagaki / Carte Carte broșată
common.buy 60.94 lei

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
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?