Вы здесь

Correctness Proofs of Program Transformation

Автор: 
Количество экземпляров: 
1
Колл. автор: 
Вид: 
Статья из сборника или журнала
Год: 
1990
Стр.: 
P.65
Место издания: 
Номер: 
TR-5/90
Карточка: 

Б2.23, Б3.21.

Olderog E. R..

Correctness Proofs of Program Transformation-Pisa.// Concurrency and Compositionality, 1990, №TR-5/90.-P.65

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