Вы здесь

Главная

Verification of Source Code Transformations by Program Equivalence Checking

Автор: 
Shashidhar K. C.
Bruynooghe M.
Catthoor F.
Janssens G.
Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
2005
Ключевые слова: 
исходный код
преобразование
верификация
эквивалентность
программа
проверка
Стр.: 
P.221-236
Библиография: 
Bibliogr.: p.235-236
Место издания: 
Berlin
Heidelberg
Издательство: 
Springer
Серия: 
Lecture Notes in Computer Science
Источник: 
Lecture Notes in Computer Science
Том: 
3443
Карточка: 

Б2.23.

Shashidhar K. C., Bruynooghe M., Catthoor F., Janssens G..

Verification of Source Code Transformations by Program Equivalence Checking-Berlin, Heidelberg.: Springer// Lecture Notes in Computer Science, 2005.-Vol. 3443.-P.221-236-(Lecture Notes in Computer Science).
Bibliogr.: p.235-236

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