Вы здесь
Атрибутные аннотации и их применение в дедуктивной верификации С-программ
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
2011
Ключевые слова:
Стр.:
С.21-33
Библиография:
Библиогр.: c.32-33
Номер:
4
Том:
18
Карточка:
Б2.23, Б3.15.
Атучин М. М., Ануреев И. С..
Атрибутные аннотации и их применение в дедуктивной верификации С-программ// Моделирование и анализ информационных систем-2011, №4.-Vol. 18.-С.21-33
Библиогр.: c.32-33
Таблица в старой библиотеке:
ISI3 207