Mini-course around Event-B and Rodin
3 172
52.9
Microsoft Research330 тыс
Следующее
17.08.16 – 731:10:06Популярные
310 дней – 1 3381:21
03.11.22 – 7711:00:39Опубликовано 17 августа 2016, 2:26
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 will start the development of sequential programs.
Свежие видео
2 дня – 3 1331:00
4 дня – 3691:32
7 дней – 546 8803:00
8 дней – 7724:17
10 дней – 9110:31
12 дней – 2553:19Случайные видео
128 дней – 3 6110:49
223 дня – 464 75410:22
238 дней – 32 5159:37
296 дней – 4739:40
10.03.23 – 22 7020:44
30.05.21 – 8 4844:09
2 дня – 2 58621:06
2 дня – 55 0927:02
4 дня – 4331:01
5 дней – 2151:45
5 дней – 4075:08
9 дней – 3 879 2822:31