Using Event-B for Critical Device Software Systems
- Författare
- Neeraj Kumar. Singh
- (Neeraj Kumar Singh.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer London, Imprint: Springer | 2013 | Storbritannien, London | XVIII, 326 sidor. 45 illus. digital. | 978-1-4471-5260-6 |