A Transformation of SDL Specification - A Step towards the Verification | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Ioustinova N.

Sidorova N.

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

Вид:

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

Год:

2001

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

верификация

трансформация

Стр.:

P.64-78

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

Bibliogr.: p.77-78

Издательство:

Springer

Источник:

Lecture Notes in Computer Science

Том:

2244

Карточка:

Б2.14, Б2.23.

Ioustinova N., Sidorova N..

A Transformation of SDL Specification - A Step towards the Verification: Springer// Lecture Notes in Computer Science-2001.-Vol. 2244.-P.64-78
Bibliogr.: p.77-78

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

PAP24 321