Автоматическая верификация программ на языке C-LIGHT

Вы здесь

Автор:

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

Вид:

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

Год:

2007

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

Стр.:

С. 25-27

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

Библиогр.: c.27

Источник:

Карточка:

Б3.54.

Марьясов И. В..

Автоматическая верификация программ на языке C-LIGHT// Технологии Microsoft в теории и практике программирования-2007.-С. 25-27
Библиогр.: c.27

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

ISI2 864