Результаты поиска

Создать страницу «To the obfuscation of sequential program control-flow» в этом вики-проекте!

• Участник:ZakharovVA
  2016 [[On the minimization and equivalence checking of sequential reactive systems]] 2010 [[An invariant-based approach to the verification of asynchronous parameterized networks]]
  82 КБ (2198 слова) - 20:23, 10 марта 2022
• Теоретические проблемы программирования
  | "Modelling and Verification of Timed Interaction and Migration" (G. Ciobanu, M. Coutny) | "A hierarchy of temporal logics with past" (F. Laroussinie, Ph. Schnoebelen)
  76 КБ (2657 слова) - 23:01, 13 апреля 2022
• Modern trends in discrete mathematics and computer science
  …I designing and biochemistry which are in line with the modern development of computer science and applied mathematics. = Preliminary program and materials =
  8 КБ (944 слов) - 16:58, 21 февраля 2019