Консультация и экзамен - model-checking

18 Май 2009


      Господа и дамы,
Консультация к экзамену состоятся 21 мая с 14:00 до 15:00 в ауд П-5.
Вопросы, выложенные на 
http://docs.google.com/Doc?id=dhf679dj_10dhnfpv28, актуальны и в этом году.
С уважением,
Константин Савенков.