Вернуться к Подробностям о статье На пути к технологии разработки операционной семантики компьютерных языков: унифицированный формат помеченных систем переходов Скачать Скачать PDF