A Semi-Algorithm for Algebraic Implementation Proofs

Вы здесь

Автор:

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

Колл. автор:

Вид:

Препринт

Год:

1991

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

Стр.:

29 p.

Реферат:

Полуалгоритм доказательств реализаций алгебраических спецификаций

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

Bibliogr.: p.22-23

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

Номер:

MIP-9108

Карточка:

Б2.24.

Hennicker R..

A Semi-Algorithm for Algebraic Implementation Proofs-Passau., 1991.-29 p.-(Препринт Univ.Passau №MIP-9108).
Bibliogr.: p.22-23

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

PREP1 405