Singh, Neeraj Kumar (Autor)
Using Event-B for Critical Device Software Systems
Beschreibung
Produktdetails
| ISBN/GTIN | 978-1-4471-5260-6 |
|---|---|
| Seitenzahl | 326 S. |
| Kopierschutz | mit Wasserzeichen |
| Dateigröße | 4456 Kbytes |