Extending Z with Modules | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

1995

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

модульность

формальный

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

разработка

Стр.:

P.513-522.

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

Bibliogr.: p.521.

Источник:

Australian Computer Science Communications

Номер:

1

Том:

17

Карточка:

Б2.33, Б3.5.

Traynor O., Kearney P., Wang L., Karlsen E..

Extending Z with Modules// Australian Computer Science Communications-1995, №1.-Vol. 17.-P.513-522.
Bibliogr.: p.521.

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

PAP12 231