KI-Beratung Beta
Vor Ort
Merkzettel Warenkorb
  • Produktbild: Dependable Software Engineering. Theories, Tools, and Applications
  • Produktbild: Dependable Software Engineering. Theories, Tools, and Applications
Band 13649 - 13%

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

Aus der Reihe Lecture Notes in Computer Science
13% sparen

61,99 € UVP 71,49 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

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...

Beschreibung

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.

Produktdetails

Einband

Taschenbuch
Erscheinungsdatum

11.12.2022
Abbildungen

XXII, 235 p. 59 illus., 42 illus. in color.
Herausgeber Wei Dong + weitere

Produktdetails

Einband

Taschenbuch
Erscheinungsdatum

11.12.2022
Abbildungen

XXII, 235 p. 59 illus., 42 illus. in color.
Herausgeber
Verlag Springer
Seitenzahl

235
Maße (L/B/H)

23,5/15,5/1,5 cm
Gewicht

400 g
Auflage

1st ed. 2022
Sprache

Englisch
ISBN

978-3-031-21212-3
Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Dependable Software Engineering. Theories, Tools, and Applications
  • Produktbild: Dependable Software Engineering. Theories, Tools, and Applications
  • Verification and Testing for Machine Learning.- Dependable Software Development.- Dependable CPS and concurrent systems.- Theorem Proving and SAT.