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

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

Inhaltsangabe

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

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2022
Sprache
Englisch
ISBN 10 
3031212142
ISBN 13 
9783031212147
Einband
Taschenbuch
Anzahl der Seiten
260
Herausgeber
Dong Wei, Talpin Jean-Pierre
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Deutschland

Weitere beliebte Ausgaben desselben Titels

9783031212123: Dependable Software Engineering. Theories, Tools, and Applications: 8th International Symposium, SETTA 2022, Beijing, China, October 27-29, 2022, ... Notes in Computer Science, Band 13649)

Vorgestellte Ausgabe

ISBN 10:  3031212126 ISBN 13:  9783031212123
Verlag: Springer, 2022
Softcover