Концептуальный базис трехуровневого метода верификации C# программ | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Ануреев И. С.

Количество экземпляров:

1

Колл. автор:

ИСИ СО РАН

Вид:

Препринт

Год:

2013

Ключевые слова:

верификация

c# программа

концептуальный

трехуровневый

операционная семантика

условие корректности

Стр.:

42 с.

Библиография:

Библиогр.: c.42

Место издания:

Новосибирск

Серия:

Lecture Notes in Computer Science

Номер:

170

Карточка:

Б2.23.

Ануреев И. С..

Концептуальный базис трехуровневого метода верификации C# программ-Новосибирск., 2013.-42 с.-(Препринт ИСИ СО РАН №170).-(Lecture Notes in Computer Science).
Библиогр.: c.42

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

ISI3 300