Modeling in Event-B
| 1. autor: | |
|---|---|
| Format: | Elektroniczne E-book |
| Język: | English |
| Wydane: |
Cambridge University Press,
03/05/2013
|
| Wydanie: | 1 |
| Hasła przedmiotowe: | |
| Dostęp online: | Full text available on Cambridge University Press Off-campus access |