Вы здесь
Верификция Си-программ: объяснение условий корректности и стандартная библиотека
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
2011
Ключевые слова:
Стр.:
С.157-167
Библиография:
Библиогр.: c.166-167
Номер:
4
Том:
18
Карточка:
Б2.23.
Промский А. В..
Верификция Си-программ: объяснение условий корректности и стандартная библиотека// Моделирование и анализ информационных систем-2011, №4.-Vol. 18.-С.157-167
Библиогр.: c.166-167
Таблица в старой библиотеке:
PAP31 715