{"product_id":"9789819586165","title":"Engineering Trustworthy Software Systems 7th International School, SETSS 2025, Beijing, China, May 17–23, 2025, Tutorial Lectures","description":"\u003ch3\u003eLecture Notes in Computer Science\u003c\/h3\u003e\u003ch1\u003eEngineering Trustworthy Software Systems\u003c\/h1\u003e\u003ch2\u003e7th International School, SETSS 2025, Beijing, China, May 17–23, 2025, Tutorial Lectures\u003c\/h2\u003e\u003ch3\u003eJonathan P. Bowen | Andrea Turrini\u003c\/h3\u003e\u003cdiv\u003e\u003cb\u003eComputers \/ Software Development \u0026amp; Engineering \/ General\u003c\/b\u003e\u003c\/div\u003e\u003cbr\u003e\u003cdiv\u003e\n\u003cp\u003eThis book LNCS 16481 constitutes the refereed proceedings of the 7th International School on Engineering Trustworthy Software Systems, SETSS 2025, held in Beijing, China, in \u003cspan style=\"background-color: rgb(255, 255, 255); font-size: 14px; color: rgb(34, 34, 34);\"\u003eMay 17–23\u003c\/span\u003e, 2025.\u003c\/p\u003e\r\n\u003cp\u003eThe 7 full papers were carefully reviewed and selected from 8 submissions. The proceedings focuses on lectures given during SETSS covered an ample variety of\u003cbr\u003etechniques to achieve this goal, from model checking to simulation testing, from the use of formal methods and contracts to model-based engineering. \u003c\/p\u003e\r\n\u003cp\u003e \u003c\/p\u003e\r\n\u003cp\u003e \u003c\/p\u003e\n\u003c\/div\u003e\u003cdiv\u003e\n\u003cp class=\"MsoNormal\"\u003e\u003cspan style=\"font-size: 11.0pt; font-family: Aptos; mso-fareast-font-family: 'Times New Roman'; color: black;\"\u003eJonathan P. Bowen is an Emeritus Professor of Computing at London South Bank University, UK, an adjunct professor at Southwest University, Chongqing, China, and Chairman of Museophile Limited. His career spans academia and industry, with extensive contributions to formal methods, safety‑critical systems, and the history of computing.\u003c\/span\u003e\u003c\/p\u003e\r\n\u003cp\u003e\u003cspan style=\"font-size: 11.0pt; font-family: Aptos; mso-fareast-font-family: 'Times New Roman'; mso-bidi-font-family: 'Times New Roman'; color: black; mso-ansi-language: EN-IN; mso-fareast-language: EN-IN; mso-bidi-language: AR-SA;\"\u003eAndrea Turrini is a researcher at the Institute of Software, Chinese Academy of Sciences, Beijing, China. His research interests lie in the area of formal methods, with a particular focus on modeling and verification of uncertain systems.\u003c\/span\u003e\u003c\/p\u003e\n\u003c\/div\u003e\u003cbr\u003e\u003ctable\u003e\n\u003ctr\u003e\n\u003ctd\u003ePublication Date: \u003c\/td\u003e\n\u003ctd\u003e07 May 2026\u003c\/td\u003e\n\u003c\/tr\u003e\n\u003ctr\u003e\n\u003ctd\u003ePublisher: \u003c\/td\u003e\n\u003ctd\u003eSpringer Nature Singapore\u003c\/td\u003e\n\u003c\/tr\u003e\n\u003ctr\u003e\n\u003ctd\u003eImprint: \u003c\/td\u003e\n\u003ctd\u003eSpringer\u003c\/td\u003e\n\u003c\/tr\u003e\n\u003ctr\u003e\n\u003ctd\u003eISBN-13: \u003c\/td\u003e\n\u003ctd\u003e9789819586165\u003c\/td\u003e\n\u003c\/tr\u003e\n\u003ctr\u003e\n\u003ctd\u003eFormat: \u003c\/td\u003e\n\u003ctd\u003ePaperback \/ softback\u003c\/td\u003e\n\u003c\/tr\u003e\n\u003ctr\u003e\n\u003ctd\u003ePage Count: \u003c\/td\u003e\n\u003ctd\u003e287\u003c\/td\u003e\n\u003c\/tr\u003e\n\u003c\/table\u003e","brand":"Springer Nature Singapore","offers":[{"title":"Default Title","offer_id":46311576764556,"sku":"9789819586165","price":49.49,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9789819586165.jpg?v=1780591688","url":"https:\/\/fh90cf-fv.myshopify.com\/products\/9789819586165","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}