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 |
Status Long term loan – Due : 22.12.2027 Recall This |
Description Location |
FAI | Call Number | 004/ABRIAL,J.-R. |
---|
Status | Description | Location | Call Number | |
---|---|---|---|---|
Long term loan - Due : 22.12.2027 Recall This | FAI | 004/ABRIAL,J.-R. |