Specification and Refinement of a Buffer of Length One | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Колл. автор:

Вид:

Препринт

Год:

1994

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

функциональный

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

модульный

верификация

Стр.:

32 p.

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

Bibliogr.: p.31-32.

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

Источник:

Номер:

10

Карточка:

Б2.4, Б3.33.

Broy M..

Specification and Refinement of a Buffer of Length One-Munchen., 1994.-32 p.-(Препринт TUM №10).
Bibliogr.: p.31-32.

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

PREP2 181