Вы здесь
Model Checking
Количество экземпляров:
1
Вид:
Монография
Год:
1999
Ключевые слова:
Стр.:
314 p.
Библиография:
Bibliogr.: p.297-307
Место издания:
Издательство:
Карточка:
Б2.23, Б2.14.
Clarke E. M., Grumberg O., Peled D. A..
Model Checking-London.: The MIT Press, 1999.-314 p.
Bibliogr.: p.297-307
Таблица в старой библиотеке:
MONO3 591