Сэр Тони Хоар посетил группу разработчиков UniTESK
07.07.2003 г.
Профессор Сэр Тони Хоар посетил группу разработчиков UniTESK и ознакомился с опытом группы по верификации ПО.
(см. фотографии)
 
 
Вернуться
Copyright © 2014 Институт системного программирования Российской академии наук