Modeling in Event-B : system and software engineering
Saved in:
| Main Author | |
|---|---|
| Format | Book |
| Language | English |
| Published |
Cambridge :
Cambridge University Press,
2010
|
| Subjects | |
| ISBN | 9780521895569 |
| Physical Description | xxvi, 586 stran : ilustrace ; 26 cm |
Cover
Glossary of Terms
You have to be logged in to reserve borrowed books or request items from the archive.
| Status | More Information | Location | Call Number | |
|---|---|---|---|---|
| Status Long term loan – Due: 21.12.2028 | More Information | Location FAI | Call Number 004/ABRIAL,J.-R. |