Вы здесь

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

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

Б2.23.

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

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

Дисс...канд. физ.-мат. наук.: 05.13.11. – Новосибирск, 2004.-157 с.

-Новосибирск
Библиогр.: c.138-149

Таблица в старой библиотеке: 
ISI2 621