A Computation Model for Z Based on Concurrent Constraint Resolution

Вы здесь

Автор:

Grieskamp W.

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

Вид:

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

Год:

2000

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

модель

параллельный

ограничение

Стр.:

P.414-432

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

Bibliogr.: p.431-432

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

Springer

Источник:

Lecture Notes in Computer Science

Том:

1878

Карточка:

Б3.55, Б2.42.

Grieskamp W..

A Computation Model for Z Based on Concurrent Constraint Resolution: Springer// Lecture Notes in Computer Science-2000.-Vol. 1878.-P.414-432
Bibliogr.: p.431-432

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

PAP22 76