Autorenfreundlich Bücher kaufen?!
Beschreibung
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.
7th International School, SETSS 2025, Beijing, China, May 17–23, 2025, Tutorial Lectures
Details
| Verlag | Springer Singapore |
| Ersterscheinung | 07. Mai 2026 |
| Maße | 23.5 cm x 15.5 cm |
| Gewicht | 470 Gramm |
| Format | Softcover |
| ISBN-13 | 9789819586165 |
| Seiten | 287 |
Schlagwörter
Artificial Intelligence, Computer Communication Networks, Computer System Implementation, Computerprogrammierung und Softwareentwicklung, Künstliche Intelligenz, Natural Language Processing (NLP), Natürliche Sprachen und maschinelle Übersetzung, Netzwerk-Hardware, Programming Techniques, Software Engineering, Systemanalyse und -design
Herstellerinformationen
Bekannt durch
