Teil der Reihe: Springer Nature Proceedings Computer Science

Engineering Trustworthy Software Systems

Name: Engineering Trustworthy Software Systems
Brand: Jonathan P. Bowen
SKU: 9789819586172
Price: 53.49 EUR
Availability: InStock

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

€53,49

inkl. MwSt. • Kein physischer Versand

Sofort per Download lieferbar

Ihr Downloadlink kommt direkt per E-Mail.

PDF: lesbar auf Smartphone, Tablet, Computer und in vielen PDF-Apps.

Anzahl:

E-Book

eBook-Format:PDF

✓14 Tage Widerrufsrecht

✓Sicher bezahlen – auch auf Rechnung mit Klarna

Inhaltsangabe

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.

Produktdetails