Articles liés à Dependable Software Engineering. Theories, Tools, and...

Dependable Software Engineering. Theories, Tools, and Applications: 8th International Symposium, SETTA 2022, Beijing, China, October 27-29, 2022, Proceedings - Couverture souple

 
9783031212147: Dependable Software Engineering. Theories, Tools, and Applications: 8th International Symposium, SETTA 2022, Beijing, China, October 27-29, 2022, Proceedings
Couverture souple
ISBN 10 : 3031212142 ISBN 13 : 9783031212147
Editeur : Springer, 2022

Synopsis

Verification and Testing for Machine Learning.- Dependable Software Development.- Dependable CPS and concurrent systems.- Theorem Proving and SAT.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
Springer
Date d'édition
2022
Langue
anglais
ISBN 10 
3031212142
ISBN 13 
9783031212147
Reliure
Broché
Nombre de pages
260
Éditeur
Dong Wei, Talpin Jean-Pierre
Coordonnées du fabricant
non disponible
Personne responsable
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Allemagne