Вы здесь

Элиминация инвариантов циклов при верификации программ

Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1985
Стр.: 
С.39-44.
Место издания: 
Источник: 
Карточка: 

Б2.23.

Непомнящий В. А..

Элиминация инвариантов циклов при верификации программ-Таллин.// Информатика-85, 1985.-С.39-44.

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