Институт системного программирования им. В.П. Иванникова РАН


Формальная спецификация программ на языке RSL (методическое пособие по практикуму).

Авторы

А.К.Петренко, Е.А.Кузьменкова.

Издание

МГУ им. М.В.Ломоносова, Москва, 1999.

Научная группа

Технологии программирования

Все публикации за 1999 год Все публикации