Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
DPD courier 4.99 € GLS courier 9.99 €
phone Contact phoneHow to shop

Engineering Trustworthy Software Systems

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

Language EnglishEnglish
E-book Adobe ePub DRM
Publishers Springer, May 2026
This book LNCS 16481 constitutes the refereed proceedings of the 7th International School on Enginee... Full description
? points 146 b New New
60.23 €
In stock Immediate digital delivery

Customers also purchased

Al -Rawd is now explaining the Prophet''s biography Al -Sahili / E-book Adobe ePub DRM
common.buy 19.77 €
Дурная голова Андре Франкен / Book Hardback
common.buy 28.65 €

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 oftechniques to achieve this goal, from model checking to simulation testing, from the use of formal methods and contracts to model-based engineering.   

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Engineering Trustworthy Software Systems
Author Jonathan P. Bowen, Andrea Turrini
Language English
Binding E-book - Adobe ePub DRM
Date of issue 2026
EAN 9789819586172
Libristo code 52512067
Publishers Springer
Series Lecture Notes in Computer Science

Categories

Computing & Information Technology > Computer hardware > Network hardware
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Systems analysis & design
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer science > Artificial intelligence
Computing & Information Technology > Computer science > Audio processing
Computing & Information Technology > Computer networking & communications
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Integration as Solution for Advanced Smart Urban Transport Systems Grzegorz Sierpinski / E-book Adobe ePub DRM
common.buy 173.45 €
An Introduction to the Kabbalah or Secret Tradition Charles F. Horne / Book Paperback
common.buy 18.35 €
Archival Historiography in Jewish Antiquity Laura Carlson Hasler / E-book Adobe ePub DRM
common.buy 105.64 €
Cruelty and Desire in the Modern Theater Laurens De Vos / E-book Adobe ePub DRM
common.buy 87.17 €
Too Scared to Sleep Duplessie / Book Hardback
common.buy 16.24 €
The Parliamentary Register: Or, History of the Proceedings and Debates of the House of Commons; Volume 1 Parliament / Book Hardback
common.buy 38.13 €
AI, Blockchain and Social Network on Urban Crisis Management: Leveraging Emerging Technologies for Disaster Response and Resilience in Smart Cities / Book Hardback
common.buy 135.91 €

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?