Rapid Aplication of Lightweight Formal Methods for Consistency Analyses | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

Статья из сборника или журнала

Год:

1998

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

непротиворечивость

проверка

формальный

интерфейс

база данных

Стр.:

P.949-959

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

Bibliogr.: p.959

Источник:

IEEE Transactions on Software Engineering

Номер:

11

Том:

24

Карточка:

Б3.5, Б3.55.

Feather M. S..

Rapid Aplication of Lightweight Formal Methods for Consistency Analyses// IEEE Transactions on Software Engineering-1998, №11.-Vol. 24.-P.949-959
Bibliogr.: p.959

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

PAP19 23