Вы здесь

Главная

Time for Verification: Essays in Memory of Amir Pnueli

Количество экземпляров: 
1
Вид: 
Сборник или журнал
Год: 
2010
Ключевые слова: 
параллельная система
формальный метод
гибридная система
теория программирования
темпоральная логика
верификация
реагирующая система
бесконечный
система
Стр.: 
401 p.
Редактор: 
Manna Z.
Peled D. A.
Место издания: 
Berlin
Издательство: 
Springer
Серия: 
Lecture Notes in Computer Science
Том: 
6200
Карточка: 

Б2.1, Б2.2.

Time for Verification: Essays in Memory of Amir PnueliEd. by Manna Z., Peled D. A..-Berlin.: Springer, 2010.-Vol. 6200.-401 p.-(Lecture Notes in Computer Science).

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