Главная
О нас
Истории
Каталог
Медиа
Домой
Каталог
Авторы
Natarajan Shankar
Natarajan Shankar
Список авторов с биографиями, датами жизни и будущими подборками всех их книг.
Книги автора
4
Verified Software : Theories, Tools, Experiments
Automated Formal Methods
Mechanical verification of a schematic Byzantine clock synchronization algorithm
Automated Reasoning