The Object-Z Specification Language | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

Монография

Год:

2000

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

язык спецификаций

объектно-ориентированный

Стр.:

146 p.

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

Bibliogr.: p.143

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

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

Kluwer Academic Publishers

Серия:

Advances in Formal Methods

Карточка:

Б3.51, Б3.15.

Smith G..

The Object-Z Specification Language-Boston, Dordrecht.: Kluwer Academic Publishers, 2000.-146 p.-(Advances in Formal Methods).
Bibliogr.: p.143

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

MONO3 457