TechFest 2007 - Automatically Proving Concurrent Programs Correct
27
Microsoft Research330 тыс
Следующее
07.09.16 – 1301:33:18Популярные
304 дня – 81218:13Опубликовано 7 сентября 2016, 16:54
Свежие видео
2 дня – 6770:31
4 дня – 20 1950:57
6 дней – 18 2430:24
8 дней – 1 512 12218:28
12 дней – 21613:16
16 дней – 2560:16Случайные видео
95 дней – 1 9079:23
147 дней – 44 51811:33
163 дня – 4 4000:42
10.05.23 – 9 8980:37
31.05.21 – 80 73310:36
09.02.21 – 563 10913:50
20 часов – 56019:28
11 дней – 66 0360:09
12 дней – 80 1480:56
17 дней – 1 4261:00
17 дней – 141 3630:16