Вы здесь

Главная

эквивалентный

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

A Categorial Observaion of Timed Testing Equivalence
A Polynomial-Time Algorithm for Global Value Numbering
Business Process Models: Change Management
Hardware and Software: Verification and Testing: Proc./4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 2008
Logic-Based Program Synthesis and Transformation: Revised Selected Papers/19th International Sumposium, LOPSTR 2009, Coimbra, Portugal, September 2009
Model Checking Software: Proc./23rd International Symposium, SPIN 2016 Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 2016
Transactions on Rough Sets XXI
Исследования в теории алгебраических моделей программ с процедурами
Некоторые вопросы эквивалентных преобразований алгоритмов
Некоторые эквивалентные преобразования схем алгоритмов
Некоторые эквивалентные преобразования схем алгоритмов
Обнаружение параллельно выполнимых шагов в программах с массивами
Об эквивалентных преобразованиях схем адресных алгоритмов
Полные системы эквивалентных преобразований в уравновешенных полугрупповых моделях программ с левым сокра ением
Проблема эквивалентных преобразований для однородных многоленточных автоматов
Проблемы преобразования программ
Решение (max+)-задач структурного распознавания с помо ью их эквивалентных преобразований
Решение (MAX,+)-задач структурного распознавания с помо ью их эквивалентных преобразований
Система эквивалентных преобразований выражений
Эквивалентные и оптимизирующие преобразования крупноблочных схем и программ.
Эквивалентные преобразования в алгебрах структур данных
Эквивалентные преобразования дефиниций языков программирования и их применение
Эквивалентные преобразования и оптимизация программ
Эквивалентные преобразования стандартных схем
Эквивалентные преобразования схем программ для "запутывания" самих программ