Del 16481 i serien Lecture Notes in Computer Science
Engineering Trustworthy Software Systems
7th International School, SETSS 2025, Beijing, China, May 17–23, 2025, Tutorial Lectures
Häftad, Engelska, 2026
749 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
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.
Produktinformation
- Utgivningsdatum2026-05-07
- Mått155 x 235 x 17 mm
- Vikt470 g
- FormatHäftad
- SpråkEngelska
- SerieLecture Notes in Computer Science
- Antal sidor287
- FörlagSpringer Verlag, Singapore
- ISBN9789819586165
Tillhör följande kategorier
Hoppa över listan
Du kanske också är intresserad av
ZB 2000: Formal Specification and Development in Z and B
Jonathan P. Bowen, Steve Dunne, Andy Galloway, Steve King
Häftad, 2000
749 kr
Industrial-Strength Formal Methods in Practice
Michael G. Hinchey, Jonathan P. Bowen
Häftad, 1999
2 219 kr
High-Integrity System Specification and Design
Jonathan P. Bowen, Michael G. Hinchey
Häftad, 1999
749 kr
Arts and Computational Culture: Real and Virtual Worlds
Tula Giannini, Jonathan P. Bowen
Inbunden, 2024
3 389 kr
Del 12154
Engineering Trustworthy Software Systems
Jonathan P. Bowen, Zhiming Liu, Zili Zhang
Häftad, 2020
749 kr
Del 10134
ZB 2002: Formal Specification and Development in Z and B
Didier Bert, Jonathan P. Bowen, Martin C. Henson, Ken Robinson
Häftad, 2002
719 kr