Unified Semantic Language: Syntax, Semantics, and Pragmatics | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

2004

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

верификация

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

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

состояние

формальный

Стр.:

P.1-30

Выпуск:

20

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

Bibliogr.: p.29-30

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

Серия:

Computer Science

Источник:

Joint Bull. of NCC and IIS

Карточка:

Б2.24.

Anureev I. S..

Unified Semantic Language: Syntax, Semantics, and Pragmatics-Novosibirsk.// Joint Bull. of NCC and IIS, 2004.-P.1-30-(Computer Science).
Bibliogr.: p.29-30

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

PAP29 429