Integrating a Formal Specification Method with PML: A Case Study | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

1992

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

моделирование

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

формальный

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

Стр.:

P.106-122.

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

Bibliogr.: p.121-122.

Источник:

Lecture Notes in Computer Science

Том:

635

Карточка:

Б3.55, В2.22.

Sa J., Warboys B..

Integrating a Formal Specification Method with PML: A Case Study// Lecture Notes in Computer Science-1992.-Vol. 635.-P.106-122.
Bibliogr.: p.121-122.

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

PAP4 122