Three-valued predicates for software spesification and validation | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Колл. автор:

Вид:

Препринт

Год:

1988

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

программное обеспечение

разработка

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

предикат

частичный

Стр.:

32 p.

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

Bibliogr.: p.29-30

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

Номер:

634

Карточка:

Б2.13, Б3.5.

Blikle A..

Three-valued predicates for software spesification and validation-Warszawa., 1988.-32 p.-(Препринт PAS №634).
Bibliogr.: p.29-30

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

PREP3 7