Инд. авторы:	Ковалев С.П.
Заглавие:	Формальный подход к разработке программных систем: Учебное пособие
Библ. ссылка:	Ковалев С.П. Формальный подход к разработке программных систем: Учебное пособие. - Новосибирск: НГУ. - 2004. - 182 с.
Издано:	Новосибирск: НГУ, 2004
Физ. характеристика:	182