Engineering Trustworthy Software Systems: 6th International School, SETSS 2024, Chongqing, China, April...

— —

Jonathan P. Bowen Cláudio Gomes

Engineering Trustworthy Software Systems

6th International School, SETSS 2024, Chongqing, China, April 14–21, 2024, Tutorial Lectures...

Jonathan P. Bowen, Cláudio Gomes, Zhiming Liu

$126.95 $101.37

Paperback

Not in-store but you can order this
How long will it take?

Availability Information

We source books from suppliers in Australia and overseas. For books we don't currently have in stock, the time it takes to get them from our suppliers can vary widely - from a few days to a few months - so we check each book with each supplier to determine the expected time it will take to be supplied to us.

We then advise you accordingly. If the time taken to get any book is too long for you, you can let us know and we will cancel or adjust your order, and refund as required.

To find out the anticipated arrival time for specific items prior to ordering, please contact us by phone or email:

Phone +61 2 9264 3111, or 1800 4 BOOKS (1800 4 26657) if outside Sydney:
option 1 Abbey's Bookshop (Crime, History, Science, Kids & more) • info@abbeys.com.au
option 2 Language Book Centre (ESL & Foreign Languages) • language@abbeys.com.au
option 3 Galaxy Bookshop (Sci-fi, Fantasy, Romance, Graphic Novels) • sf@galaxybooks.com.au

QTY:

English

Springer Nature Switzerland AG
05 April 2025

Software Engineering

Series: Lecture Notes in Computer Science

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

Edited by: Jonathan P. Bowen, Cláudio Gomes, Zhiming Liu
Imprint: Springer Nature Switzerland AG
Country of Publication: Switzerland
Volume: 15584
Dimensions: Height: 235mm, Width: 155mm,
ISBN: 9789819646555
ISBN 10: 9819646553
Series: Lecture Notes in Computer Science
Pages: 171
Publication Date: 05 April 2025
Audience: Professional and scholarly , College/higher education , Undergraduate , Further / Higher Education
Format: Paperback
Publisher's Status: Active

SETSS 2024 School.- What Came First, Mathematics or Computing?.- From Logic to Programming.- Digital Twin Tutorial: The Incubator Case Study.- AI Components for High Integrity, Safety-Critical Human-Cyber-Physical Systems _ A Challenge for Formal Methods.- Testing and Design of Uniform CNF Samplers: A Virtuous Cycle Enabled by Distribution Testing.- SETSS 2024 Workshop.- Software Engineering Experiences of an Optimist.- Automating Component-Based Embedded Software Construction via Formal Synthesis and LLMs.

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.

PRIZES to win! PROMOTIONS

Engineering Trustworthy Software Systems

6th International School, SETSS 2024, Chongqing, China, April 14–21, 2024, Tutorial Lectures...

Jonathan P. Bowen, Cláudio Gomes, Zhiming Liu

$126.95 $101.37

Paperback

See Also

Contact Abbeys

Contact Galaxy

Contact Language

Contact Us

About ABBEY'S