Mini-course around Event-B and Rodin
387
64.5
Microsoft Research330 тыс
Следующее
17.08.16 – 1 35357:49Популярные
209 дней – 6758:44
306 дней – 26432:52Опубликовано 17 августа 2016, 2:31
Event-B is a method for the stepwise development of programs. The development is mostly top-down and gradually introduces details, rather than starting at the concrete level of writing code. The Event-B method is implemented in the Rodin tool. This lecture is part of a mini-course on Event-B and Rodin. This lecture continues the development of sequential programs.
Свежие видео
5 дней – 3 0942:23
11 дней – 9 0271:01
12 дней – 17 2781:00
12 дней – 1 9870:15
13 дней – 1 7185:13
17 дней – 14 43028:04Случайные видео
52 дня – 3 8427:01
166 дней – 1 1231:02
317 дней – 4 7311:36
05.09.23 – 7121:19
03.10.22 – 5 9431:23
02.01.08 – 16 3734:46
2 дня – 17312:52
5 дней – 4 4800:51
7 дней – 86 06214:12
8 дней – 4 93832:51
8 дней – 174 0721:05
12 дней – 1 0720:47