Tests and Proofs: Proc./8th International Conference, TAP 2014 Held as Part of STAF 2014, York, UK, July 2014 | Мемориальная библиотека А.П. Ершова

Вы здесь

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

1

Вид:

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

Год:

2014

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

assertion checking

формальный метод

анализ программ

верификация программ

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

язык спецификаций

статический анализ

Стр.:

214 p.

Редактор:

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

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

Серия:

Lecture Notes in Computer Science

Том:

8570

Карточка:

Tests and Proofs: Proc./8th International Conference, TAP 2014 Held as Part of STAF 2014, York, UK, July 2014Ed. by Seidl M., Tillmann N..-Berlin.: Springer, 2014.-Vol. 8570.-214 p.-(Lecture Notes in Computer Science).

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

MONO10 750