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 236 bodů

Anotace knihy

This book presents an innovative development approach for critical systems and prototype implementation. It provides a novel approach for medical protocol verification, which can help to verify the diagnosis process.

Parametry knihy

Zařazení knihy Knihy v angličtině Medicine Nursing & ancillary services Biomedical engineering

• Plný název: Using Event-B for Critical Device Software Systems
• Autor: Neeraj Kumar Singh
• Jazyk: Angličtina
• Vazba: Pevná
• Počet stran: 326
• EAN: 9781447152590
• ISBN: 144715259X
• ID: 01426259
• Nakladatelství: Springer London Ltd
• Hmotnost: 6387 g
• Rozměry: 235 × 155 × 24 mm
• Datum vydání: 20. June 2013

Oblíbené z jiného soudku

---

---

---