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

Вы здесь

Автор:

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

1

Колл. автор:

Вид:

Препринт

Год:

1988

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

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

верификация

Стр.:

36 p.

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

Bibliogr.: p.34-36

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

Номер:

635

Карточка:

Б2.13, Б3.5.

Konikowska B., Tarlecki A., Blikle A..

A Three-valued logic for software specification and validation-Warszawa., 1988.-36 p.-(Препринт PAS №635).
Bibliogr.: p.34-36

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

PREP3 49