Preview

Моделирование и анализ информационных систем

Расширенный поиск
Полноэкранный режим

Для цитирования:


Непомнящий В.А., Ануреев И.С., Атучин М.М., Марьясов И.В., Петров А.А., Промский А.В. Верификация C-программ в мультиязыковой системе СПЕКТР. Моделирование и анализ информационных систем. 2010;17(4):88-100.

For citation:


Nepomniashy V.A., Anureev I.S., Atuchin M.M., Maryasov I.V., Petrov A.A., Promsky A.V. C Program Verication in the Multilanguage System Spectrum. Modeling and Analysis of Information Systems. 2010;17(4):88-100. (In Russ.)

Просмотров: 36


Creative Commons License
Контент доступен под лицензией Creative Commons Attribution 4.0 License.


ISSN 1818-1015 (Print)
ISSN 2313-5417 (Online)