Proofs In Structured Specifications | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Колл. автор:

Вид:

Препринт

Год:

1991

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

язык программирования

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

верификация

Стр.:

26 p.

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

Номер:

MIP-9008

Карточка:

Б2.24.

Wirsing M..

Proofs In Structured Specifications-Passau., 1991.-26 p.-(Препринт Univ.Passau № MIP-9008).

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

PREP1 398