Modeling in Event-B
| Tác giả chính: | |
|---|---|
| Định dạng: | Điện tử eBook |
| Ngôn ngữ: | English |
| Được phát hành: |
Cambridge University Press,
03/05/2013
|
| Phiên bản: | 1 |
| Những chủ đề: | |
| Truy cập trực tuyến: | Full text available on Cambridge University Press Off-campus access |