Ctl
1Model Checking. Верификация параллельных и распределенных программных систем (+ CD-ROM) , Ю. Г. Карпов (2010)
В книге рассказывается о новых результатах в области верификация с помощью метода model checking и приводятся… 516 руб2Model Checking.Верификация параллельных и распределенных программных систем , Ю. Г. Карпов (2009)
В книге рассказывается о новых результатах в области верификации с помощью метода model checking и приводятся… 399 руб электронная книга