| OberonCore https://forum.oberoncore.ru/ |
|
| Летняя школа по программной инженерии и верификации. https://forum.oberoncore.ru/viewtopic.php?f=8&t=3424 |
Страница 1 из 1 |
| Автор: | Neplul [ Понедельник, 25 Апрель, 2011 12:15 ] |
| Заголовок сообщения: | Летняя школа по программной инженерии и верификации. |
На хабре сегодня новость появилась: Майкрософт проводит летнюю школу по верификации, а директором школы является Энтони Хоар. http://habrahabr.ru/blogs/conference/118078/ |
|
| Страница 1 из 1 | Часовой пояс: UTC + 3 часа |
| Powered by phpBB® Forum Software © phpBB Group https://www.phpbb.com/ |
|