Mohlo by se vám také líbit

Více informací o knize Engineering Trustworthy Software Systems

• Parametry knihy
• Anotace
• Oblíbené z jiného soudku

Nákupem získáte 116 bodů

Anotace knihy

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. 

 

 

Parametry knihy

Zařazení knihy Knihy v angličtině Computing & information technology Computer programming / software development Software Engineering

• Plný název: Engineering Trustworthy Software Systems
• Podnázev: 7th International School, SETSS 2025, Beijing, China, May 17-23, 2025, Tutorial Lectures
• Autor: Jonathan P. Bowen, Andrea Turrini
• Jazyk: Angličtina
• Vazba: Brožovaná
• Počet stran: 273
• EAN: 9789819586165
• ID: 51292509
• Nakladatelství: Springer, Berlin
• Hmotnost: 470 g
• Rozměry: 235 × 155 mm
• Datum vydání: 19. July 2026

---

---

---