Modeling in Event-B
| Главный автор: | |
|---|---|
| Формат: | Электронный ресурс eКнига |
| Язык: | English |
| Опубликовано: |
Cambridge University Press,
03/05/2013
|
| Редактирование: | 1 |
| Предметы: | |
| Online-ссылка: | Full text available on Cambridge University Press Off-campus access |