A Verifiable Exeption Handling Model for Parallel Programming | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

1993

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

обработка

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

программирование

конструкция

верификация

Стр.:

P.345-358

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

Bibliogr.: p.357-358

Место издания:

Источник:

Parallel Computing Technologies (PaCT-93): Proc./Intern.Conf.

Том:

II

Карточка:

Б2.42.

Schorr R..

A Verifiable Exeption Handling Model for Parallel Programming-M..// Parallel Computing Technologies (PaCT-93): Proc./Intern.Conf., 1993.-Vol. II.-P.345-358
Bibliogr.: p.357-358

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

PAP6 783