Cover: Engineering Trustworthy Software Systems (E-Book) von Jonathan P. Bowen
Jonathan P. Bowen

Teil der Reihe: Springer Nature Proceedings Computer Science

Engineering Trustworthy Software Systems

7th International School, SETSS 2025, Beijing, China, May 17-23, 2025, Tutorial Lectures
Angebot€53,49
inkl. MwSt. • Kein physischer Versand
Sofort per Download lieferbar
Nach dem Kauf direkt als Download verfügbar.
E-Book
eBook-Format:PDF

Benachrichtigung aktivieren

Wir informieren Sie per E-Mail, sobald dieses Produkt wieder verfügbar ist.

Inhaltsangabe

This book LNCS 16481 constitutes the refereed proceedings of the 7th International School on Engineering Trustworthy Software Systems, SETSS 2025, held in Beijing, China, in May 17–23, 2025.

The 7 full papers were carefully reviewed and selected from 8 submissions. The proceedings focuses on lectures given during SETSS covered an ample variety of
techniques to achieve this goal, from model checking to simulation testing, from the use of formal methods and contracts to model-based engineering. 

 

 

Produktdetails
  • Erscheinungsdatum: 06.05.2026
  • Autor/Autorin: Jonathan P. Bowen
  • Format: E-Book
  • Dateiformat: PDF
  • Kopierschutz: Wasserzeichen
  • Dateigröße: 28.6 MB
  • Verlag: SPRINGER
  • Sprache: Englisch
  • Umfang: 287 Seiten
  • ISBN: 9789819586172
  • Lieferung: Sofort per Download
  • Hinweis: Sofort per Download lieferbar. Kein physischer Versand.
  • Kompatibilität: Lesbar auf Geräten und Apps mit PDF-Unterstützung.
Herstellerinformationen
Springer Nature Customer Service Center GmbH

Email: ProductSafety@springernature.com

Wird oft zusammen gekauft

Cover: Deep Learning for Object Detection and Localization (E-Book) von Abdussalam Elhanashi
Abdussalam Elhanashi
Deep Learning for Object Detection and Localization Angebot€160,49
Cover: Generative AI in Cybersecurity (E-Book) von Leslie F. Sikos
Leslie F. Sikos
Generative AI in Cybersecurity Angebot€48,14
Cover: Effektive Softwarearchitekturen (E-Book) von Gernot Starke
Gernot Starke
Effektive Softwarearchitekturen Angebot€49,99
Cover: The Handbook of Data Science and AI (E-Book) von Stefan Papp
Stefan Papp
The Handbook of Data Science and AI Angebot€99,99
Cover: WALCOM: Algorithms and Computation (E-Book)
Emilio Di Giacomo
WALCOM: Algorithms and Computation Angebot€78,10
Cover: Visual Computing For Architects (E-Book) von Yuhao Zhu
Yuhao Zhu
Visual Computing For Architects Angebot€64,19
Cover: Variable Neighborhood Search (E-Book)
Sergio Cavero
Variable Neighborhood Search Angebot€53,49
Cover: Sustainable Development through Machine Learning, AI and IoT (E-Book)
Pawan Whig
Sustainable Development through Machine Learning, AI and IoT Angebot€90,94
Cover: Software Fault Prevention, Verification, and Validation (E-Book)
Yuting Chen
Software Fault Prevention, Verification, and Validation Angebot€69,54
Cover: Socially Aware and Responsible AI Applications (E-Book)
Anna Esposito
Socially Aware and Responsible AI Applications Angebot€213,99