251-1421-00L System Development in Event-B
| Semester | Autumn Semester 2009 |
| Lecturers | T. S. Hoang-Do |
| Periodicity | yearly recurring course |
| Language of instruction | English |
| Number | Title | Hours | Lecturers | ||||
|---|---|---|---|---|---|---|---|
| 251-1421-00 V | System Development in Event-B | 2 hrs |
| T. S. Hoang-Do | |||
| 251-1421-00 U | System Development in Event-B | 2 hrs |
| T. S. Hoang-Do |