Livrare gratuită pentru comenzile peste 349,00 lei.
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
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei
Cargus 28.00 lei
Easybox 20.00 lei
FAN 20.00 lei
Punct FAN 16.00 lei
Punct DPD 17.00 lei
Curier Sameday 24.00 lei
Curier DPD 25.00 lei
Contact
Cum să cumpăr
Ajutor
Livrare
Packeta 15.00 lei
Cargus 28.00 lei
Easybox 20.00 lei
FAN 20.00 lei
Punct FAN 16.00 lei
Punct DPD 17.00 lei
Curier Sameday 24.00 lei
Curier DPD 25.00 lei
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Consilier de cumpărături
Suntem aici pentru tine!
031 22 95 182
Contul meu
▸
Gol :-(
0
Livrare gratuită pentru comenzile peste 349,00 lei.
Computer Aided Verification
27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II
Limba
engleză
engleză
Carte
Carte broșată
The two-volume proceedings set LNCS 9206 + 9207 constitutes the refereed proceedings of the 27th Int...
Descrierea completă
Codul Libristo: 09372112
?
132 b
132 b
286.02
lei
În depozitul extern
Expediem în 5-8 zile
30 de zile pentru retur bunuri
Clienții au cumpărat de asemenea
/
Carte broșată
228.05
lei
The two-volume proceedings set LNCS 9206 + 9207 constitutes the refereed proceedings of the 27th International Conference on Computer Aided Verification, CAV 2015, held in San Francisco, CA, USA, in July 2015.§§The total of 58 full and 11 short papers presented in the proceedings was carefully reviewed and selected from 252 submissions. The papers were organized in topical sections named: model checking and refinements; quantitative reasoning; software analysis; lightning talks; interpolation, IC3/PDR, and Invariants; SMT techniques and applications; HW verification; synthesis; termination; and concurrency.§
Actriță
&
Poliglotă
EWA KASP
pentru
Redă videoclipul
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
Computer Aided Verification
Limba
engleză
engleză
Legare
Carte - Carte broșată
Data publicării
2015
Număr pagini
469
EAN
9783319216676
ISBN
3319216678
Codul Libristo
09372112
Greutatea
7314
Dimensiuni
155 x 235 x 25
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 destinataruluiAr putea de asemenea, să te intereseze
/
Copertă tare
108.75
lei
