Cooperation of Formal Methods in an Engineering Based Software Development Process

Вы здесь

Автор:

Ait-Ameur Y.

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

Вид:

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

Год:

2000

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

разработка

программное обеспечение

формальный

метод

Стр.:

P.136-155

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

Bibliogr.: p.152-155

Источник:

Lecture Notes in Computer Science

Том:

1945

Карточка:

Б3.5.

Ait-Ameur Y..

Cooperation of Formal Methods in an Engineering Based Software Development Process// Lecture Notes in Computer Science-2000.-Vol. 1945.-P.136-155
Bibliogr.: p.152-155

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

PAP22 274