Вы здесь

Главная

Математическая теория программирования

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

О получении объектного кода из одноциклового интерпретатора
Учет априорной информации при анализе свойств состояний программ
Учет свойств операции при глобальном анализе свойств программ