Formal Hardware Verification: Methods and Systems in Comparison | Мемориальная библиотека А.П. Ершова

Вы здесь

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

1

Вид:

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

Год:

1997

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

верификация

формальный

Стр.:

367 p.

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

Bibliogr.: p.349-367

Редактор:

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

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

Серия:

Lecture Notes in Computer Science

Том:

1287

Карточка:

А3.22.

Formal Hardware Verification: Methods and Systems in ComparisonEd. by Kropf T..-Berlin, Heidelberg.: Springer, 1997.-Vol. 1287.-367 p.-(Lecture Notes in Computer Science).
Bibliogr.: p.349-367

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

MONO2 447