Flexible and Reliable Process Model Properties: An Integrated Approach | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

1999

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

программный

верификация

формальный

Стр.:

P.213-227.

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

Bibliogr.: p.226-227

Источник:

Lecture Notes in Computer Science

Том:

1641

Карточка:

Б3.5, В4.1.

Margaria T., Gruhn V..

Flexible and Reliable Process Model Properties: An Integrated Approach// Lecture Notes in Computer Science-1999.-Vol. 1641.-P.213-227.
Bibliogr.: p.226-227

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

PAP20 59