SciFi (03.03.2015 16:07, просмотров: 87) ответил Evgeny_CD на А пусть верхний уровень - это сети Петри или еще что, что позволяет проводить формальную верификацию непротиворечивости.ส็็็็็็็็็็็็็็็็็็็็็็็็็༼ ຈل͜ຈ༽ส้้้้้้้้้้้้้้้้้้้้้้้
-
- А мы набор параметров тоже будем из описания Самого Высокого Уровня компилировать :) - Evgeny_CD(03.03.2015 16:10)