• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Книга

Program Semantics, Specification and Verification: Theory and Applications. The conference materials. 6th International Computer Science Symposium in Russia

Yaroslavl: Yaroslavl State University, 2011.
Научный редактор: V. Nepomniaschy, V. Sokolov.
Ответственный редактор: V. Nepomniaschy.
Главы книги
Program Semantics, Specification and Verification: Theory and Applications. The conference materials. 6th International Computer Science Symposium in Russia