• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
Глава в книге
A Memory Model for Deductively Verifying Linux Kernel Module

Khoroshilov A. V., Мандрыкин М. У.

In bk.: Perspectives of System Informatics - 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers, Lecture Notes in Computer Science. Vol. 10742. Springer, 2018. P. 256-275.

Препринт
Темпоральные расширения в стандарте SQL

С.Д. Кузнецов

Препринты ИСП РАН. Институт системного программирования им. В.П. Иванникова РАН, 2017. № 30.

Тема «мы помним» – Новости

Международная конференция Иванниковские чтения

3-4 мая 2018 г. в Российско-Армянском университете прошла международная конференция Иванниковские чтения (Ivannikov Memorial Workshop), посвященная памяти Виктора Петровича Иванникова, выдающегося ученого, основателя школы системного программирования, одного из первых разработчиков операционных систем в России.

ИВАННИКОВ ВИКТОР ПЕТРОВИЧ (27.02.1940 – 27.11.2016)

Департамент программной инженерии ФКН и кафедра "Системное программирование" ИСП РАН с глубоким прискорбием извещают о безвременной кончине заведующего кафедрой "Системное программирование", профессора, доктора физико-математических наук, научного руководителя Института системного программирования РАН, академика Иванникова Виктора Петровича. Выражаем глубокие соболезнования родным и близким Виктора Петровича Иванникова.