Knowledge-Based Software Architectures: Acquisition, Specification, and Verification | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

1999

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

интеллектуальный

программный

архитектура

приобретение знаний

формальный

верификация

Стр.:

P.187-201.

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

Bibliogr.: p.199-201

Издательство:

Источник:

IEEE Trans. on Knowledge and Data Engineering

Номер:

1

Том:

11

Карточка:

Б3.5, Б5.5.

Tsai J.J. P., Liu A., Juan E., Sahay A..

Knowledge-Based Software Architectures: Acquisition, Specification, and Verification: Springer// IEEE Trans. on Knowledge and Data Engineering-1999, №1.-Vol. 11.-P.187-201.
Bibliogr.: p.199-201

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

PAP19 559