Pensum -10%
Hopp til hovedinnholdet
Engineering Trustworthy Software Systems
Redigert av Andrea Turrini, Jonathan P. Bowen, 2026.Del av serien Lecture Notes in Computer Science.
7th International School, SETSS 2025, Beijing, China, May 17–23, 2025, Tutorial Lectures
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.
PocketEngelsk
649,-
Ikke tilgjengelig for Klikk&Hent
Midlertidig tomt på lager
Bestillingsvare. Forventes sendt om ca 14 dager
Engineering Trustworthy Software Systems
Redigert av Andrea Turrini, Jonathan P. Bowen, 2026.Del av serien Lecture Notes in Computer Science.
7th International School, SETSS 2025, Beijing, China, May 17–23, 2025, Tutorial Lectures
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.
649,-
PocketEngelsk
Ikke tilgjengelig for Klikk&Hent
Midlertidig tomt på lager
Bestillingsvare. Forventes sendt om ca 14 dager
649,-
Ved å fullføre kjøpet aksepterer du kjøpsvilkårene.
