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 136 b
295.24 lei
șansă 50% Şanse de a obține acest titlu Când primesc cărțile?

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Reasoned Schemer Friedman / Carte Carte broșată
common.buy 275.17 lei
Seasoned Schemer Friedman / Carte Carte broșată
common.buy 304.13 lei
Little Schemer Matthias Felleisen / Carte Carte broșată
common.buy 275.17 lei
Top
Art of Computer Programming, The, Volumes 1-4B, Boxed Set Donald Knuth / Carte Copertă tare
common.buy 1 455.85 lei
TCP/IP Illustrated, Volume 3 W. Richard Stevens / Carte Carte broșată
common.buy 355.15 lei
The awk Programming Language Brian Kernighan / Carte Carte broșată
common.buy 216.83 lei
Top
Structure and Interpretation of Computer Programs H Abelson / Carte Carte broșată
common.buy 439.31 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 248.19 lei
Making Medical Decisions for the Profoundly Mentally Disabled N.L. Cantor / Carte Copertă tare
common.buy 65.13 lei
Haskell Road to Logic, Maths and Programming Kees Doets / Carte Carte broșată
common.buy 132.77 lei
Top
The Elements of Baking Katarina Cermelj / Carte Copertă tare
common.buy 142.81 lei
Top
Dessert Person Claire Saffitz / Carte Copertă tare
common.buy 148.45 lei
Popular Fiction by Women 1660-1730 Backscheider / Carte Carte broșată
common.buy 828.45 lei
Top
One Piece, Vol. 94 Eiichiro Oda / Carte Carte broșată
common.buy 54.67 lei
Top
Japanese Tattoos Yori Moriarty / Carte Copertă tare
common.buy 129.32 lei
We Never Learn, Vol. 2 Taishi Tsutsui / Carte Carte broșată
common.buy 43.06 lei
Rebecca Daphne Du Maurier / Carte Carte broșată
common.buy 63.35 lei
Top
Creative Haven Fairy Gardens Coloring Book Marty Noble / Carte Carte broșată
common.buy 30.00 lei
Top
Mushoku Tensei: Jobless Reincarnation (Light Novel) Vol. 13 Shirotaka / Carte Carte broșată
common.buy 65.33 lei
Kingdom of the Wicked Kerri Maniscalco / Carte Carte broșată
common.buy 118.03 lei
Pokémon Primers: Shapes Book, 4 Simcha Whitehill / Carte Cărți pliante
common.buy 59.69 lei
Top
Mob Psycho 100 Volume 7 ONE / Carte Carte broșată
common.buy 55.51 lei
Neptune, the 12th house, and Pisces - 2nd Edition Maurice Fernandez / Carte Carte broșată
common.buy 109.04 lei
Top
Gut and Physiology Syndrome Natasha Campbell-McBride / Carte Carte broșată
common.buy 150.02 lei
Top
Jolly Phonics Pupil Book 1 Sue Lloyd / Carte Carte broșată
common.buy 35.22 lei
Top
This Winter Alice Oseman / Carte Carte broșată
common.buy 59.48 lei
Top
Three Minutes for a Dog Apn Rn Norman DePaul Brown MSPH / Carte Carte broșată
common.buy 112.07 lei
Top
Harry Potter and the Philosopher's Stone Joanne K. Rowling / Carte Copertă tare
common.buy 203.55 lei
Top
Persona 5, Vol. 4 Hisato Murasaki / Carte Carte broșată
common.buy 54.67 lei
Top
BEASTARS, Vol. 7 Paru Itagaki / Carte Carte broșată
common.buy 59.69 lei
The Shadows Between Us Tricia Levenseller / Carte Copertă tare
common.buy 73.38 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