Задача анализа свойств состояний: различия между версиями

Задача анализа свойств состояний (посмотреть исходный код)

250 байт добавлено , 5 ноябрь

нет описания правки

1263

правки

@@ Строка 17: / Строка 17: @@
 ==Литература==
 * Касьянов В.Н. Оптимизирующие преобразования программ. — М.: Наука, 1988.
+* Котов В.Е., Сабельфельд В.К. Теория схем программ. — М.:  Наука, 1991.
-* Котов В.Е., Сабельфельд В.К. Теория схем программ. — М.:  Наука, 1991.
+[[Категория: Теория схем программ]]
+[[Категория: Потоковый анализ программ]]
+[[Категория:Граф-модели]]
+[[Категория:Преобразование программ]]