Stimați clienți, din cauza zilei de sărbătoare, asistența pentru clienți nu este disponibilă astăzi. Ne vom ocupa de solicitările dumneavoastră în următoarea zi lucrătoare. Vă mulțumim pentru înțelegere.
Transport gratuit la punctele de livrare Pick Up peste 299 lei
Packeta 15 lei
Easybox 20 lei
Cargus 25 lei
FAN 25 lei
Cum să cumpăr
Ajutor
Livrare
Packeta 15 lei
Easybox 20 lei
Cargus 25 lei
FAN 25 lei
Transport gratuit la punctele de livrare Pick Up peste 299 lei
Consilier de cumpărături
Suntem aici pentru tine!
031 22 95 182
Contul meu
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
▸
Gol :-(
0
Stimați clienți, din cauza zilei de sărbătoare, asistența pentru clienți nu este disponibilă astăzi. Ne vom ocupa de solicitările dumneavoastră în următoarea zi lucrătoare. Vă mulțumim pentru înțelegere.
Little Prover
Limba
engleză
engleză
Carte
Carte broșată
An introduction to writing proofs about computer programs, written in an accessible question-and-ans...
Codul Libristo: 09392623
?
127 b
127 b
253
lei
șansă 50%
Şanse de a obține acest titlu
Când primesc cărțile?
30 de zile pentru retur bunuri
Ar putea de asemenea, să te intereseze
/
Carte broșată
133
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.
Informații despre carte
Titlu complet
Little Prover
Autor
Carl Eastlund
Limba
engleză
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
