Livrare gratuită pentru comenzile peste 349,00 lei.

Verifică starea comenzii

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 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

Contact

Cum să cumpăr

Ajutor

Contul meu

▸ Gol :-(

Livrare gratuită pentru comenzile peste 349,00 lei.

Verified Software. Theories, Tools and Experiments.

Name: Verified Software. Theories, Tools and Experiments.
Brand: Springer, Berlin
SKU: 42588711
Price: 285.03 RON
Availability: InStock
Author: Akash Lal
ISBN: 9783031258022

14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers

Akash Lal

Stefano Tonetta

Limba

engleză

Carte Carte broșată

Codul Libristo: 42588711

Editura Springer, Berlin, noiembrie 2022

This book constitutes the refereed proceedings of the 14th International Conference on Verified Soft... Descrierea completă

Codul Libristo: 42588711

132 b

285.03 lei

În depozitul extern Expediem în 5-8 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Kangastuksia Armi Susi

Carte broșată

38.54 lei

Katalepsis M. Carme Roca

Carte broșată

103.39 lei

La puerta de al lado BEIRO

Carte broșată

92.37 lei

This book constitutes the refereed proceedings of the 14th International Conference on Verified Software. Theories, Tools and Experiments, VSTTE 2022 held in Trento, Italy, during October 17-18, 2022.The 9 papers presented in this volume were carefully reviewed and selected from 20 submissions. The papers focus on the challenges of the verification of cyber-physical systems with machine learning components, Sequential learning and making large-scale verified software a practical reality.