Вы здесь

Аксиоматизация тотальной корректности программ с операторами перехода

Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1980
Стр.: 
С.3-16.
Библиография: 
Библиогр.: c.16.
Место издания: 
Карточка: 

Б2.23.

Ломазова И. А..

Аксиоматизация тотальной корректности программ с операторами перехода-Новосибирск.// Теоретические основы компиляции, 1980.-С.3-16.
Библиогр.: c.16.

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