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 Sameday 24.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Numerical Software Verification

10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings

Limba englezăengleză
Carte Carte broșată
Carte Numerical Software Verification Alessandro Abate
Codul Libristo: 16495678
Editura Springer International Publishing AG, iulie 2017
This book constitutes the proceedings of the 10th International Workshop on Numerical Software Verif... Descrierea completă
? points 141 b
305.36 lei
În depozitul extern în cantități mici Expediem în 13-18 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

filo teso. I disturbi mentali di adolescenti raccontati da due amici improbabili: un neuropsichiatra infantile e un giornalista Stefano Vicari / Carte Carte broșată
common.buy 84.60 lei
Residentes chinos en Espana y su relacion con la vivienda Wanchu Zhong / Carte Carte broșată
common.buy 120.27 lei
Der Traum, die Reise, die Ewigkeit und Gott Mike Dooley / Carte Carte broșată
common.buy 79.94 lei
Scioa. L’Africa di Arthur Rimbaud / Carte Carte
common.buy 96.11 lei

This book constitutes the proceedings of the 10th International Workshop on Numerical Software Verification, NSV 2017, held in Heidelberg, Germany, in July 2017 - colocated with the International Workshop on Formal Methods for Rigorous Systems Engineering of Cyber-Physical Systems, RISE4CPS 2017, a one-time, invited-only event. The 3 full papers presented together with 3 short papers, 2 keynote abstracts and 4 invited abstracts were carefully reviewed and selected from numerous submissions. The NSV 2017 workshop is dedicated to the development of logical and mathematical techniques for the reasoning about programmability and reliability.

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 Numerical Software Verification
Autor Alessandro Abate, Sylvie Boldo
Limba engleză
Legare Carte - Carte broșată
Data publicării 2017
Număr pagini 115
EAN 9783319635002
ISBN 331963500X
Codul Libristo 16495678
Editura Springer International Publishing AG
Greutatea 2234
Dimensiuni 155 x 235 x 8

Categorii

Computing & Information Technology > Computer programming / software engineering > Software Engineering > Software testing & verification
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

From German Prisoner of War to American Citizen Barbara Schmitter Heisler / Carte Carte broșată
common.buy 223.65 lei
Adventures Of ELT The Super Dog Daniel R Pard / Carte Carte broșată
common.buy 83.98 lei
Return to Circa '96 Bob Sawatzki / Carte Carte broșată
common.buy 148.79 lei
Grow Great Vegetables in North Carolina Ira Wallace / Carte Carte broșată
common.buy 87.40 lei
Lonely Planet Experience Italy Erica Firpo / Carte Carte broșată
common.buy 153.56 lei
Wing Chun Punching Richard Wonnacott / Carte Carte broșată
common.buy 64.59 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?