Engineering Trustworthy Software Systems 6th International School, SETSS 2024, Chongqing, China, April 14–21, 2024, Tutorial Lectures
-
- Taschenbuch ausgewählt
- eBook
-
Sprache:Englisch
-
Verlag:Springer Singapore
- Springer 49,99 €
- Springer Singapore 49,99 € ausgewählt
-
Auflage:1. Auflage
- 1. Auflage 49,99 € ausgewählt
- 1. Auflage 49,99 €
49,99 €
inkl. gesetzl. MwSt.,
Beschreibung
Produktdetails
Einband
Taschenbuch
Erscheinungsdatum
05.04.2025
Abbildungen
XIX, 171 p. 45 illus., 34 illus. in color.
Herausgeber
Jonathan P. Bowen + weitereVerlag
Springer SingaporeSeitenzahl
171
Maße (L/B/H)
23,5/15,5/1,1 cm
Gewicht
300 g
Auflage
1. Auflage
Sprache
Englisch
ISBN
978-981-9646-55-5
This book PSE 15584 constitutes the refereed proceedings of the 6th International School on Engineering Trustworthy Software Systems, SETSS 2024, held in Chongqing, China, in April 14-21, 2024.
The 5 full papers and 2 short papers were carefully reviewed and selected from 7 submissions. The proceedings focuses on
-Preparatory Course: Introduction to Mathematical Logic and Logic of Programming;
-Introduction to Digital Twins
-Theories of Contracts and Their Applications
-From Automata Models to Validated BCI-Based Cooperative Control On the Viability of Rigorous Approaches to Human-Cyber-Physical Systems of Systems; What Came First, Math or Computing?
-What Came First, Math or Computing?
-Software Engineering for Explainable AI
-Distribution Testing: The New Frontier for Formal Methods
Noch keine Bewertungen vorhanden
Verfassen Sie die erste Bewertung zu diesem Artikel
Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.
Kurze Frage zu unserer Seite
Vielen Dank für dein Feedback
Wir nutzen dein Feedback, um unsere Produktseiten zu verbessern. Bitte habe Verständnis, dass wir dir keine Rückmeldung geben können. Falls du Kontakt mit uns aufnehmen möchtest, kannst du dich aber gerne an unseren Kund*innenservice wenden.
zum Kundenservice