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.

Software Verification and Formal Methods for ML-Enabled Autonomous Systems

Name: Software Verification and Formal Methods for ML-Enabled Autonomous Systems
Brand: Springer, Berlin
SKU: 41908349
Price: 370.24 RON
Availability: InStock
Author: Omri Isac
ISBN: 9783031212215

5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings

Limba

engleză

Carte Carte broșată

Codul Libristo: 41908349

Editura Springer, Berlin, noiembrie 2021

This book constitutes the refereed proceedings of the 5th International Workshop on Software Verific... Descrierea completă

Codul Libristo: 41908349

171 b

370.24 lei

În depozitul extern Expediem în 5-8 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Etude Sur l'Histoire de Napoleon, de M. Le Bon Martin Sauzay-J

Carte broșată

65.15 lei

Osmanlida Devlet Hukuk ve Adalet Halil Inalcik

Carte broșată

83.54 lei

A través de la luz: Poemas Carmen Cecilia Diaz De Almeida

Carte broșată

42.18 lei

Recueille la fleur de mes pensées Ledent

Copertă tare

128.12 lei

Skvelá Sisi Kristin Earhart

Copertă tare

25.55 lei

This book constitutes the refereed proceedings of the 5th International Workshop on Software Verification and Formal Methods for ML-Enables Autonomous Systems, FoMLAS 2022, and the 15th International Workshop on Numerical Software Verification, NSV 2022, which took place in Haifa, Israel, in July/August 2022. The volume contains 8 full papers from the FoMLAS 2022 workshop and 3 full papers from the NSV 2022 workshop. The FoMLAS workshop is dedicated to the development of novel formal methods techniques to discussing on how formal methods can be used to increase predictability, explainability, and accountability of ML-enabled autonomous systems. NSV 2022 is focusing on the challenges of the verification of cyber-physical systems with machine learning components.