You might also like

More about Engineering Trustworthy Software Systems

• Book details
• Synopsis
• Trending among others

You get 122 loyalty points

Book synopsis

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. 

 

 

Book details

Book category Books in English Computing & information technology Computer programming / software development Software Engineering

• Full title: Engineering Trustworthy Software Systems
• Subtitle: 7th International School, SETSS 2025, Beijing, China, May 17-23, 2025, Tutorial Lectures
• Author: Jonathan P. Bowen, Andrea Turrini
• Language: English
• Binding: Paperback
• Number of pages: 273
• EAN: 9789819586165
• ID: 51292509
• Publisher: Springer, Berlin
• Weight: 470 g
• Dimensions: 235 × 155 mm
• Date of publishing: 19. July 2026

Trending among others

---

---

---