Pr869 Pr869/321 Pr869/321 / Pr869/321-02 Zwiers, Job. Compositionality, concurrency and partial correctness : proof theories for networks of processes, and their relationship / J. Zwiers. - Berlin [et al.] : Springer, 1989. - VI,272 p. : Ill. - (Lecture notes in computer science ; 321) Bibliogr.: p. 266-272 Перевод заглавия: Композиционность, параллелизм и частичная корректировка: Теория доказательства сетей процессов и их взаимосвязь Рубрики: Программное обеспечение--ЭВМ Кл.слова (ненормированные): программирование -- семантика -- спецификации Дескрипторы: сб пр -- моногр Экземпляры всего: 1 02 (1) Свободны: 02 (1) |