12 Апр
2010
12 Апр
'10
16:32
Олег, совершенно верно! :-)
С уважением Константин Савенков.
Олег Борисенко пишет:
Во всех именах файлов, наверное, должно быть task5?
2010/4/12 model checking course mailing list model-checking@lvk.cs.msu.su:
Для данной в третьем задании программы и построенной для неё модели: