Get Free Shipping on orders over $89
Engineering Trustworthy Software Systems : 7th International School, SETSS 2025, Beijing, China, May 17-23, 2025, Tutorial Lectures - Jonathan P. Bowen

Engineering Trustworthy Software Systems

7th International School, SETSS 2025, Beijing, China, May 17-23, 2025, Tutorial Lectures

By: Jonathan P. Bowen (Editor), Andrea Turrini (Editor)

eText | 23 May 2026

At a Glance

eText


$84.99

or 4 interest-free payments of $21.25 with

 or 

Available: 23rd May 2026

Preorder. Online access available after release.

Why choose an eTextbook?

Instant Access *

Purchase and read your book immediately

Read Aloud

Listen and follow along as Bookshelf reads to you

Study Tools

Built-in study tools like highlights and more

* eTextbooks are not downloadable to your eReader or an app and can be accessed via web browsers only. You must be connected to the internet and have no technical issues with your device or browser that could prevent the eTextbook from operating.

This book LNCS 16481 constitutes the refereed proceedings of the 7th International School on Engineering Trustworthy Software Systems, SETSS 2025, held in Beijing, China, in May 17-23, 2025.

The 7 full papers were carefully reviewed and selected from 8 submissions. The proceedings focuses on lectures given during SETSS covered an ample variety of
techniques to achieve this goal, from model checking to simulation testing, from the use of formal methods and contracts to model-based engineering.

on
Desktop
Tablet
Mobile

More in Artificial Intelligence

Late Night - A M Howcroft

eBOOK

RRP $16.49

$15.99

BEFORE THE WORD - Praveen Maloo

eBOOK

RRP $16.49

$15.99

The Compass - Bob Pearson

eBOOK

RRP $20.89

$19.99