content/digarden/pages/20210414220507-институт_системного_программирования.org


1
2
3
4
5
6
7
8
9

:PROPERTIES:
:ID:       f2be17b3-c69d-45d7-b6bf-2f9b6f1cedd2
:END:
#+title: Институт системного программирования
Институт системного программирования им. В.П. Иванникова РАН -- топовый
вуз в РФ и возможно мире, связанный с доказательным системным
программированием.

Сайт: http://https://www.ispras.ru