Formal Extreme (and Extremely Formal) Programming | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Moreno-Navarro J. J.

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

1

Вид:

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

Год:

2003

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

формальный

разработка

тестирование

Стр.:

P.88-96

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

Bibliogr.: p.95-96

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

Источник:

Lecture Notes in Computer Science

Том:

2675

Карточка:

Б3.5, Б3.54.

Herranz A., Moreno-Navarro J. J..

Formal Extreme (and Extremely Formal) Programming: Springer// Lecture Notes in Computer Science-2003.-Vol. 2675.-P.88-96
Bibliogr.: p.95-96

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

PAP26 937