Verifying Atomic Data Types | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

1989

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

программа

верификация

транзакция

распределенный

абстрактный

тип данных

отказоустойчивость

Стр.:

P.315-357

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

Bibliogr.: p.355-357

Источник:

Intern. J. Parallel Programming

Номер:

5

Том:

18

Карточка:

Б2.33, Б2.23.

Wing J. M..

Verifying Atomic Data Types// Intern. J. Parallel Programming-1989, №5.-Vol. 18.-P.315-357
Bibliogr.: p.355-357

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

PAP30 228