Електронний каталог науково-технічної бібліотеки Вінницького національного технічного університету
интерпретация абстрактная
Документи:
- Крывый, С. Л. Верификация программ: состояние, проблемы, результаты [Текст] / С. Л. Крывый, А. Н. Максимец // Кибернетика и системный анализ. – 2014. – Т. 50, № 1. – С. 11-20.
- Крывый, С. Л. Верификация программ:состояние, проблемы, результаты [Текст] / С. Л. Крывый, А. Н. Максимец // Кибернетика и системный анализ. – 2013. – Т. 49, № 6. – С. 3-14.
|