Вид документа : Однотомное издание Шифр издания : Pr869/Pr869/321 Автор(ы) : Zwiers, Job Заглавие : Compositionality, concurrency and partial correctness : Proof theories for networks of processes, and their relationship Выходные данные : Berlin: Springer, 1989 Колич.характеристики :VI,272 p.: Ill. Серия: Lecture notes in computer science; 321 Примечания : Bibliogr.: p. 266-272 ISBN, Цена 3-540-50845-7: Б.ц. ГРНТИ : 50.05.17 ББК : З 973.2-018 Предметные рубрики: Программное обеспечение-- ЭВМ Дескрипторы: сб пр--моногр Ключевые слова (''Своб.индексиров.''): программирование--семантика--спецификации Экземпляры :02(1) Свободны : 02(1)