Formal Systems Specification: The RPC-Memory Specification Case Study | Мемориальная библиотека А.П. Ершова

Вы здесь

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

1

Вид:

Сборник или журнал

Год:

1996

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

спецификация

верификация

распределенная система

диалоговый

Стр.:

541 p.

Редактор:

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

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

Серия:

Lecture Notes in Computer Science

Том:

1169

Карточка:

А3.54, Б3.5, Б2.23.

Formal Systems Specification: The RPC-Memory Specification Case StudyEd. by Broy M., Merz S., Spies K..-Berlin, Heidelberg.: Springer, 1996.-Vol. 1169.-541 p.-(Lecture Notes in Computer Science).

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

MONO2 205