Contact
How to shop
Delivery
Shopping guide
Engineering Trustworthy Software Systems
6th International School, SETSS 2024, Chongqing, China, April 14-21, 2024, Tutorial Lectures
English
122 b
30-day return policy
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
About the book
English
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's addressHi! I'm Libroamiko, your book advisor.
How can I help you?