Automatically Generating Information from a Z Specification to Support the Classification Tree Method | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

2003

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

классификация

формальный

Стр.:

P.388-407

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

Bibliogr.: p.406-407

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

Источник:

Lecture Notes in Computer Science

Том:

2651

Карточка:

Б3.5.

Hierons R. M., Harman M., Singh H..

Automatically Generating Information from a Z Specification to Support the Classification Tree Method: Springer// Lecture Notes in Computer Science-2003.-Vol. 2651.-P.388-407
Bibliogr.: p.406-407

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

PAP26 930