Вы здесь

Главная

Верификация распределенных программ типа SPDM на основе формализма L-программ

Автор: 
Панков С. В.
Крицкий С. П.
Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1999
Ключевые слова: 
верификация
распределенный
программа
логический
корректность
формализм
Стр.: 
С.68-80.
Библиография: 
Библиогр.: c.79-80
Издательство: 
Springer
Источник: 
Программирование
Номер: 
4
Карточка: 

Б3.54, Б2.22.

Панков С. В., Крицкий С. П..

Верификация распределенных программ типа SPDM на основе формализма L-программ: Springer// Программирование-1999, №4.-С.68-80.
Библиогр.: c.79-80

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