Zobacz książki o podobnej tematyce

Więcej informacji o Using Event-B for Critical Device Software Systems

• Dane szczegółowe
• Opis
• Ulubione w innej kategorii

Za ten zakup dostaniesz 120 punkty

Opis

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

Szczegóły książki

• Pełny tytuł: Using Event-B for Critical Device Software Systems
• Autor: Keith Glover
• Język: Angielski
• Oprawa: Miękka
• Liczba stron: 334
• EAN: 9781981128860
• ISBN: 1981128867
• ID: 32284073
• Wydawca: Createspace Independent Publishing Platform
• Waga: 775 g
• Wymiary: 280 × 216 × 18 mm
• Data wydania: 23. August 2017

Ulubione w innej kategorii

---

---

---