Вышло в свет новое учебное пособие

Ковалёв С. П. Формальный подход к разработке программных систем: Учеб. пособие / Новосиб. гос. ун-т. Новосибирск, 2004. 180 с.

Его можно приобрести в киоске учебно-методической литеpатуpы HГУ (1 этаж гл. корпуса). Подробности на сайте: ccfit.nsu.ru