Wir verwenden Cookies und Analyse-Tools, um die Nutzerfreundlichkeit der Internet-Seite zu verbessern und für Marketingzwecke. Wenn Sie fortfahren, diese Seite zu verwenden, nehmen wir an, dass Sie damit einverstanden sind. Zur Datenschutzerklärung.
Dependable Software Engineering. Theories, Tools, and Applications
CHF 85.15
Auf Lager
SKU
LUAHT92KMAN
1 Verfügbar 
Geliefert zwischen Do., 22.01.2026 und Fr., 23.01.2026
Details
This book constitutes the proceedings of the 8th International Symposium on Dependable Software Engineering, SETTA 2022, held in Beijing, China, in October 2022. The 11 full papers and 3 short papers in this volume were carefully reviewed and selected from 29 submissions, and are presented with 3 abstracts of keynote speeches. They deal with latest research results and ideas on bridging the gap between formal methods and software engineering.
Inhalt
Verification and Testing for Machine Learning.- Dependable Software Development.- Dependable CPS and concurrent systems.- Theorem Proving and SAT.
Weitere Informationen
- Allgemeine Informationen
- GTIN 09783031212123
- Genre Information Technology
- Auflage 1st edition 2022
- Editor Jean-Pierre Talpin, Wei Dong
- Lesemotiv Verstehen
- Anzahl Seiten 260
- Größe H235mm x B155mm x T15mm
- Jahr 2022
- EAN 9783031212123
- Format Kartonierter Einband
- ISBN 3031212126
- Veröffentlichung 11.12.2022
- Titel Dependable Software Engineering. Theories, Tools, and Applications
- Untertitel 8th International Symposium, SETTA 2022, Beijing, China, October 27-29, 2022, Proceedings
- Gewicht 400g
- Herausgeber Springer Nature Switzerland
- Sprache Englisch
Bewertungen
Schreiben Sie eine Bewertung
