Вы здесь

Формальная семантика C-Light программ и их верификация методом Хоара

Количество экземпляров: 
1
Вид: 
Автореферат
Год: 
2004
Стр.: 
17 с.
Библиография: 
Библиогр.: c.16-17
Место защиты: 
Номер специальности: 
05.13.11
Карточка: 

Б2.23.

Промский А. В..

Формальная семантика C-Light программ и их верификация методом Хоара: Автореферат диссертации на ученую степень: канд. физ.-мат. наук.: 05.13.11.-Новосибирск, 2004.-17 с.
Библиогр.: c.16-17

Таблица в старой библиотеке: 
DAR1MP 513