Mohlo by se vám také líbit

Více informací o knize Specification, Modelling, Verification and Runtime Analysis of Real Time Systems

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

Nákupem získáte 190 bodů

Anotace knihy

This book focuses on the use of formal methods in order to guarantee the correctness of real-time systems. For this purpose, the formal framework Equinox is introduced, which allows the specification, modeling, verification and runtime analysis of real-tim

Parametry knihy

Zařazení knihy Knihy v angličtině Computing & information technology Computer science Computer architecture & logic design

• Plný název: Specification, Modelling, Verification and Runtime Analysis of Real Time Systems
• Autor: Georgios Logothetis
• Jazyk: Angličtina
• Vazba: Brožovaná
• Počet stran: 202
• EAN: 9781586034139
• ISBN: 9781586034139
• ID: 08746908
• Nakladatelství: IOS PRESS
• Hmotnost: 300 g
• Rozměry: 210 × 148 × 10 mm
• Datum vydání: 07. April 2004

Oblíbené z jiného soudku

---

---

---