The Specification of a Generic Multicomputer using Lotos | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

1995

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

технология программирования

формальный

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

проектирование

архитектура

Стр.:

P.21-24.

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

Bibliogr.: p.24.

Источник:

SIGPLAN Notices

Номер:

2

Том:

30

Карточка:

А3.3, Б3.5.

Gallud J. A., Garcia J. M..

The Specification of a Generic Multicomputer using Lotos// SIGPLAN Notices-1995, №2.-Vol. 30.-P.21-24.
Bibliogr.: p.24.

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

ACM4 536