Hardware and Software: Verification and Testing: Proc./10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 2014 | Мемориальная библиотека А.П. Ершова

Вы здесь

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

1

Вид:

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

Год:

2014

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

автоматное программирование

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

верификация

автоматный

дискретн-временной

динамический

инвариант

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

relational logic

логика отношений

симуляция

генерация тестов

доказательство теорем

Стр.:

302 p.

Редактор:

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

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

Серия:

Lecture Notes in Computer Science

Том:

8855

Карточка:

Hardware and Software: Verification and Testing: Proc./10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 2014Ed. by Yahav E..-Berlin.: Springer, 2014.-Vol. 8855.-302 p.-(Lecture Notes in Computer Science).

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

MONO10 935