Modeling in Event-B - System and Software Engineering
- Författare
- Jean-Raymond. Abrial
- Genre
- Electronic books.
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Cambridge University Press | 2010 | Storbritannien, Cambridge | 1 online resource (614 sidor.) | 978-0-511-72786-3 |
| Cambridge University Press | 2010 | New York, New York | 1 online resource (xxvi, 586 pages) illustrations | 978-0-511-72647-7, 978-1-139-19588-1 |