Интеграция методов верификации программных систем | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Кулямин В. В.

Количество экземпляров:

1

Вид:

Статья из сборника или журнала

Год:

2009

Ключевые слова:

верификация

программная система

Стр.:

С.41-55

Библиография:

Библиогр.: c.52-55

Источник:

Программирование

Номер:

4

Карточка:

Б2.23.

Кулямин В. В..

Интеграция методов верификации программных систем// Программирование-2009, №4.-С.41-55
Библиогр.: c.52-55

Таблица в старой библиотеке:

PAP31 451