9789819646555 - engineering trustworthy software systems: 6th international school, setss 2024, chongqing, china, april 14–21, 2024, tutorial lectures (lecture notes in computer science, band 15584) (3 Ergebnisse)
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 59,82
EUR 13,98 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 53,49
EUR 61,50 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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 revie…wed 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.
Weitere Bilder- Softcover
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 50,40
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 5 verfügbar
Taschenbuch. Zustand: Neu. Engineering Trustworthy Software Systems | 6th International School, SETSS 2024, Chongqing, China, April 14-21, 2024, Tutorial Lectures | Jonathan P. Bowen (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xix | Englisch | 2025 | Springer | EAN 9789819646555 | Verantwortliche Person für die E…U: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
