Introducing Data Decomposition into VDM for Tractable Development of Programs

Вы здесь

Автор:

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

Вид:

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

Год:

1995

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

Стр.:

P.41-50

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

Bibliogr.: p.50

Источник:

Номер:

Том:

Карточка:

Б3.52.

Lu J..

Introducing Data Decomposition into VDM for Tractable Development of Programs// SIGPLAN Notices-1995, №9.-Vol. 30.-P.41-50
Bibliogr.: p.50

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

ACM4 782