Engineering Trustworthy Software Systems

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

By: Claudio Gomes (Editor), Zhiming Liu (Editor), Jonathan P. Bowen (Editor)

Write A Review

Paperback | 11 May 2025

At a Glance

Paperback
194 Pages

Dimensions(cm)
23.5 x 15.5 x 1.04

Paperback

$84.99

or 4 interest-free payments of $21.25 with

Ships in 5 to 7 business days

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

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.