Вы здесь

Главная

алголоподобный

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

Domain-Specific Languages: Proc./IFIP TC2 Working Conference, DSL 2009. Oxford, UK, July 2009
Верификация алголо-подобных программ методом индуктивных высказываний