Вы здесь
Верификация и синтез программ сложения на базе правил корректности операторов
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
2010
Ключевые слова:
Стр.:
С.101-110
Библиография:
Библиогр.: c.109-110
Место издания:
Номер:
4
Том:
17
Карточка:
Б2.23.
Шелехов В. И..
Верификация и синтез программ сложения на базе правил корректности операторов-Ярославль.// Моделирование и анализ информационных систем, 2010, №4.-Vol. 17.-С.101-110
Библиогр.: c.109-110
Таблица в старой библиотеке:
PAP31 618