Verification-Oriented Language C-Light and Its Structural Operational Semantics | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Nepomniaschy V. A.

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

1

Вид:

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

Год:

2003

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

верификация

структурный

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

Стр.:

P.103-111

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

Bibliogr.: p.111

Источник:

Lecture Notes in Computer Science

Том:

2890

Карточка:

Б2.24.

Nepomniaschy V. A., Anureev I. S., Promsky A. V..

Verification-Oriented Language C-Light and Its Structural Operational Semantics// Lecture Notes in Computer Science-2003.-Vol. 2890.-P.103-111
Bibliogr.: p.111

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

PAP28 142