Mohlo by se vám také líbit

Více informací o knize Using Event-B for Critical Device Software Systems

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

Nákupem získáte 103 bodů

Anotace knihy

Using Event-B for Critical Device Software Systems serves as a valuable resource for researchers and students of formal methods. The assessment of critical systems development is applicable to all industries, but engineers and physicians from the health do

Parametry knihy

• Plný název: Using Event-B for Critical Device Software Systems
• Autor: Keith Glover
• Jazyk: Angličtina
• Vazba: Brožovaná
• Počet stran: 334
• EAN: 9781981128860
• ISBN: 1981128867
• ID: 32284073
• Nakladatelství: Createspace Independent Publishing Platform
• Hmotnost: 775 g
• Rozměry: 280 × 216 × 18 mm
• Datum vydání: 23. August 2017

Oblíbené z jiného soudku

---

---

---