Empirical Software Engineering and Verification: Revised Tutorial Lectures/ International Summer Schools, LASER 2008-2010, Elba Island, Italy | Мемориальная библиотека А.П. Ершова

Вы здесь

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

1

Вид:

Сборник или журнал

Год:

2012

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

параллельное программирование

экспериментальный

дублирование

формальная спецификация

операционная семантика

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

Стр.:

213 p.

Редактор:

Место издания:

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

Серия:

Lecture Notes in Computer Science

Том:

7007

Карточка:

Б3.5, Б2.2.

Empirical Software Engineering and Verification: Revised Tutorial Lectures/ International Summer Schools, LASER 2008-2010, Elba Island, ItalyEd. by Meyer B., Nordio M..-Berlin.: Springer, 2012.-Vol. 7007.-213 p.-(Lecture Notes in Computer Science).

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

MONO9 306