A Logical Framework for the Specification of Transactions | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Колл. автор:

Вид:

Препринт

Год:

2000

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

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

транзакция

Стр.:

46 p.

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

Bibliogr.: p.33-36

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

Серия:

Lecture Notes in Computer Science

Номер:

MIP-0002

Карточка:

Б5.23.

Wichert C. -A., Freitag B., Fent A..

A Logical Framework for the Specification of Transactions-Passau., 2000.-46 p.-(Препринт Univ.Passau №MIP-0002).-(Lecture Notes in Computer Science).
Bibliogr.: p.33-36

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

PREP2 806