Hugendubel.info - Die B2B Online-Buchhandlung 

Merkliste
Die Merkliste ist leer.
Bitte warten - die Druckansicht der Seite wird vorbereitet.
Der Druckdialog öffnet sich, sobald die Seite vollständig geladen wurde.
Sollte die Druckvorschau unvollständig sein, bitte schliessen und "Erneut drucken" wählen.

Dependable Software Engineering. Theories, Tools, and Applications

8th International Symposium, SETTA 2022, Beijing, China, October 27-29, 2022, Proceedings
BuchKartoniert, Paperback
235 Seiten
Englisch
Springererschienen am11.12.20221st ed. 2022
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.mehr
Verfügbare Formate
BuchKartoniert, Paperback
EUR69,54
E-BookPDF1 - PDF WatermarkE-Book
EUR69,54

Produkt

KlappentextThis 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.
Details
ISBN/GTIN978-3-031-21212-3
ProduktartBuch
EinbandartKartoniert, Paperback
Verlag
Erscheinungsjahr2022
Erscheinungsdatum11.12.2022
Auflage1st ed. 2022
ReiheLecture Notes in Computer Science
Seiten235 Seiten
SpracheEnglisch
IllustrationenXXII, 235 p. 59 illus., 42 illus. in color.
Artikel-Nr.51193576

Inhalt/Kritik

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

Schlagworte

Autor