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 FAN Courier 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

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
293.66 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 273.08 lei
Seasoned Schemer Friedman / Carte Carte broșată
common.buy 302.08 lei
Top
Little Schemer Matthias Felleisen / Carte Carte broșată
common.buy 273.08 lei
Top
Art of Computer Programming, The, Volumes 1-4B, Boxed Set Donald Knuth / Carte Copertă tare
common.buy 1 447.03 lei
TCP/IP Illustrated, Volume 3 W. Richard Stevens / Carte Carte broșată
common.buy 353.20 lei
The awk Programming Language Brian Kernighan / Carte Carte broșată
common.buy 195.67 lei
Top
Structure and Interpretation of Computer Programs H Abelson / Carte Carte broșată
common.buy 437.17 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 246.48 lei
Making Medical Decisions for the Profoundly Mentally Disabled N.L. Cantor / Carte Copertă tare
common.buy 64.73 lei
Haskell Road to Logic, Maths and Programming Kees Doets / Carte Carte broșată
common.buy 131.96 lei
Popular Fiction by Women 1660-1730 Backscheider / Carte Carte broșată
common.buy 823.84 lei
We Never Learn, Vol. 2 Taishi Tsutsui / Carte Carte broșată
common.buy 42.80 lei
Top
One Piece, Vol. 94 Eiichiro Oda / Carte Carte broșată
common.buy 54.55 lei
Top
Japanese Tattoos Yori Moriarty / Carte Copertă tare
common.buy 128.53 lei
Top
Dessert Person Claire Saffitz / Carte Copertă tare
common.buy 148.90 lei
Top
The Elements of Baking Katarina Cermelj / Carte Copertă tare
common.buy 141.94 lei
Top
Halo Encyclopedia Microsoft / Carte Copertă tare
common.buy 210.32 lei
Top Curând
Mushoku Tensei: Jobless Reincarnation (Light Novel) Vol. 13 Shirotaka / Carte Carte broșată
common.buy 72.00 lei
Top
Grandmaster of Demonic Cultivation: Mo Dao Zu Shi (Novel) Vol. 2 Mo Xiang Tong Xiu / Carte Carte broșată
common.buy 81.15 lei
Top
Mob Psycho 100 Volume 7 ONE / Carte Carte broșată
common.buy 55.17 lei
Pokémon Primers: Shapes Book, 4 Simcha Whitehill / Carte Cărți pliante
common.buy 59.33 lei
Top
Everyday Witch Oracle Deborah Blake / Materiale tipărite Cărți
common.buy 108.37 lei
Top
Grandmaster of Demonic Cultivation: Mo Dao Zu Shi (Novel) Vol. 4 Mo Xiang Tong Xiu / Carte Carte broșată
common.buy 81.15 lei
Top
Kingdom of the Wicked Kerri Maniscalco / Carte Carte broșată
common.buy 67.95 lei
Creative Haven Fairy Gardens Coloring Book Marty Noble / Carte Carte broșată
common.buy 29.81 lei
Top
Gut and Physiology Syndrome Natasha Campbell-McBride / Carte Carte broșată
common.buy 149.11 lei
Top
Jolly Phonics Pupil Book 1 Sue Lloyd / Carte Carte broșată
common.buy 35.01 lei
Top
This Winter Alice Oseman / Carte Carte broșată
common.buy 44.36 lei
Top
Harry Potter and the Philosopher's Stone Joanne K. Rowling / Carte Copertă tare
common.buy 208.13 lei
Top
Persona 5, Vol. 4 Hisato Murasaki / Carte Carte broșată
common.buy 54.55 lei
Top
BEASTARS, Vol. 7 Paru Itagaki / Carte Carte broșată
common.buy 59.33 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?