Вы здесь
Верификация и синтез эффективных программ стандартных функций floor, isqrt и ilog2 в технологии предикатного программирования
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
2010
Ключевые слова:
Стр.:
С.622-630
Библиография:
Библиогр.: c.629-630
Карточка:
Б3.5.
Шелехов В. И..
Верификация и синтез эффективных программ стандартных функций floor, isqrt и ilog2 в технологии предикатного программирования// Проблемы управления и моделирования в сложных системах-2010.-С.622-630
Библиогр.: c.629-630
Таблица в старой библиотеке:
ISI3 93