Engineering Trustworthy Software Systems : 6th International School, Setss 2024, Chongqing, China, April 14?21, 2024, Tutorial Lectures
Bowen, Jonathan P. (EDT); Gomes, Cláudio (EDT); Liu, Zhiming (EDT)
ISBN 10: 9819646553 ISBN 13: 9789819646555
Published by Springer, 2025
New
Soft cover
From
GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
AbeBooks Seller since April 6, 2009
This specific item is no longer available.
About this Item
Description:
Seller Inventory # 50081575-n
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
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.
Bibliographic Details
Title: Engineering Trustworthy Software Systems : ...
Publisher: Springer
Publication Date: 2025
Binding: Soft cover
Condition: New
Top Search Results from the AbeBooks Marketplace
Stock Image
Engineering Trustworthy Software Systems (eng)
Print on DemandSeller: Brook Bookstore On Demand, Napoli, NA, Italy
Seller rating 5 out of 5 stars
Condition: new. Questo è un articolo print on demand. Seller Inventory # JK05IBBQFC
Buy New
US$ 54.46
US$ 6.29 shipping
Ships from Italy to U.S.A.
Ships from Italy to U.S.A.
Quantity: Over 20 available
Seller Image
Engineering Trustworthy Software Systems
Print on DemandSeller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Seller Inventory # 2202231787
Buy New
US$ 55.65
US$ 56.04 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: Over 20 available
Engineering Trustworthy Software Systems | 6th International School, SETSS 2024, Chongqing, China, April 14-21, 2024, Tutorial Lectures
Seller: preigu, Osnabrück, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: 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 EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. Seller Inventory # 132444895
Buy New
US$ 59.38
US$ 80.08 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 5 available
Seller Image
Engineering Trustworthy Software Systems
Published by
Springer, Springer Apr 2025, 2025
ISBN 10: 9819646553
ISBN 13: 9789819646555
New
Taschenbuch
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. 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 onPreparatory Course: Introduction to Mathematical Logic and Logic of Programming;Introduction to Digital TwinsTheories of Contracts and Their ApplicationsFrom 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 AIDistribution Testing: The New Frontier for Formal MethodsSpringer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 192 pp. Englisch. Seller Inventory # 9789819646555
Buy New
US$ 63.02
US$ 68.64 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 1 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
Buy New
US$ 63.02
US$ 26.31 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 2 available
Seller Image
Engineering Trustworthy Software Systems : 6th International School, SETSS 2024, Chongqing, China, April 14-21, 2024, Tutorial Lectures
Published by
Springer Nature Singapore, Springer Nature Singapore, 2025
ISBN 10: 9819646553
ISBN 13: 9789819646555
New
Taschenbuch
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: 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 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. Seller Inventory # 9789819646555
Buy New
US$ 67.13
US$ 70.35 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 1 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
Buy New
US$ 68.45
US$ 16.00 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
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)
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. Seller Inventory # 26404281383
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 4 out of 5 stars
Condition: New. Print on Demand. Seller Inventory # 409954296
Buy New
US$ 88.49
US$ 8.68 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
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)
Print on DemandSeller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 4 out of 5 stars
Condition: New. PRINT ON DEMAND. Seller Inventory # 18404281389
Buy New
US$ 94.38
US$ 11.38 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 4 available