Вы здесь
Visual Specifications for Modular Reasoning about Asynchronous Systems
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
1900
Ключевые слова:
Стр.:
P.226-242
Библиография:
Bibliogr.: p.241-242
Источник:
Том:
2529
Карточка:
А3.5, Б2.24.
Amla N., Emerson E. A., Namjoshi K. S., Trefler R. J..
Visual Specifications for Modular Reasoning about Asynchronous Systems// Lecture Notes in Computer Science-1900.-Vol. 2529.-P.226-242
Bibliogr.: p.241-242
Таблица в старой библиотеке:
PAP26 1