Вы здесь

Главная

пример

Связанные издания:

Formal Methods for Industrial Critical Systems: Proc./15th International Workshop, FMICS 2010, Antwerp, Belgium, September 2010
Автоматический синтез структурированных программ по примерам их выполнения