Error-tracing axiomatic semantics for C-kernel | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

Статья из сборника или журнала

Год:

2010

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

логика хоара

язык программирования

формальный

верификация

аксиоматический

семантика

реализация

Стр.:

P.123-138

Выпуск:

31

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

Bibliogr.: p.138

Серия:

Computer Science

Источник:

Bulletin of the Novosibirsk Computing Center

Карточка:

Б2.2, Б2.14.

Promsky A. V..

Error-tracing axiomatic semantics for C-kernel// Bulletin of the Novosibirsk Computing Center-2010.-P.123-138-(Computer Science, Вып.31).
Bibliogr.: p.138

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

ISI3 137