Items related to Engineering Trustworthy Software Systems: 6th International...
Engineering Trustworthy Software Systems: 6th International School, SETSS 2024, Chongqing, China, April 14–21, 2024, Tutorial Lectures (Lecture Notes in Computer Science) - Softcover
Synopsis
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
"synopsis" may belong to another edition of this title.
About the Author
Zhiming Liu is a professor at Southwest University, Chongqing, China. His research interests lie in the area of software theory and methods, with a particular focus on the modeling, design, and verfication of software and systems.
"About this title" may belong to another edition of this title.
Search results for Engineering Trustworthy Software Systems: 6th International...
Stock Image
Engineering Trustworthy Software Systems : 6th International School, Setss 2024, Chongqing, China, April 14?21, 2024, Tutorial Lectures
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 50081575-n
Quantity: 15 available
Stock Image
Engineering Trustworthy Software Systems (Paperback)
Published by
Springer Nature Switzerland AG, Cham, 2025
ISBN 10: 9819646553
ISBN 13: 9789819646555
New
Paperback
Seller: Grand Eagle Retail, Bensenville, IL, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: new. Paperback. 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 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. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Seller Inventory # 9789819646555
Quantity: 1 available
Stock Image
Engineering Trustworthy Software Systems: 6th International School, SETSS 2024, Chongqing, China, April 14?21, 2024, Tutorial Lectures: 15584 (Lecture Notes in Computer Science, 15584)
Seller: Kennys Bookstore, Olney, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # V9789819646555
Quantity: 15 available
Stock Image
Engineering Trustworthy Software Systems: 6th International School, SETSS 2024, Chongqing, China, April 14-21, 2024, Tutorial Lectures: 15584 (Lecture Notes in Computer Science, 15584)
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # V9789819646555
Quantity: 15 available
Stock Image
Engineering Trustworthy Software Systems: 6th International School, SETSS 2024, Chongqing, China, April 14-21, 2024, Tutorial Lectures (Lecture Notes in Computer Science)
Seller: California Books, Miami, FL, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # I-9789819646555
Quantity: Over 20 available
Stock Image
Engineering Trustworthy Software Systems : 6th International School, Setss 2024, Chongqing, China, April 14?21, 2024, Tutorial Lectures
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 50081575
Quantity: 15 available
Stock Image
Engineering Trustworthy Software Systems: 6th International School, SETSS 2024, Chongqing, China, April 14?21, 2024, Tutorial Lectures (Lecture Notes in Computer Science)
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. Seller Inventory # 26404281383
Quantity: 4 available
Stock Image
Engineering Trustworthy Software Systems: 6th International School, SETSS 2024, Chongqing, China, April 14-21, 2024, Tutorial Lectures (Lecture Notes in Computer Science)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9789819646555_new
Quantity: Over 20 available
Stock Image
Engineering Trustworthy Software Systems: 6th International School, SETSS 2024, Chongqing, China, April 14?21, 2024, Tutorial Lectures (Lecture Notes in Computer Science)
Print on DemandSeller: Majestic Books, Hounslow, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Print on Demand. Seller Inventory # 409954296
Quantity: 4 available
Seller Image
Engineering Trustworthy Software Systems
Published by
Springer, Berlin, Springer Nature Singapore, Springer, 2025
ISBN 10: 9819646553
ISBN 13: 9789819646555
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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 171 pp. Englisch. Seller Inventory # 9789819646555
Quantity: 2 available