Mohlo by sa vám tiež páčiť

Viac informácií o knihe Using Event-B for Critical Device Software Systems

• Parametre knihy
• Anotácia kniha
• Obľúbené z iného súdka

Nákupom získate 249 bodov

Anotácia 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.

Parametre knihy

Zaradenie knihy Books in English Medicine Nursing & ancillary services Biomedical engineering

• Celý názov: Using Event-B for Critical Device Software Systems
• Autor: Neeraj Kumar Singh
• Jazyk: Angličtina
• Väzba: Pevná
• Počet strán: 326
• EAN: 9781447152590
• ISBN: 144715259X
• ID: 01426259
• Nakladateľ: Springer London Ltd
• Hmotnosť: 6387 g
• Rozmery: 235 × 155 × 24 mm
• Dátum vydania: 20. June 2013

Obľúbené z iného súdka

---

---

---