Ссылки на книги

Кознов Д.В. Языки визуального моделирования: проектирование и визуализация программного обеспечения. Учебное пособие. СПб.: Изд-во СПбГУ. 2004. 143 с.

Emerson E.A. Temporal and Modal Logic. Amsterdam: North-Holland Pub. Co. 1990. 77 p.



Dmitri Boulytchev 2010-09-05