Pr869 Pr869/430 Pr869/430 / Pr869/430-02 Stepwise refinement of distributed systems : models, formalisms, correctness. REX workshop, Mook, the Netherlands, May 29-June 2, 1989. Proc. / Ed. by Bakker, J. W. de et al. - Berlin [et al.] : Springer, 1990. - X, 808 p. - (Lecture notes in computer science ; 430). - Bibliogr. at the end of the art Перевод заглавия: Поэтапное усовершенствование распределенных систем Рубрики: Распределенные системы вычислительные--Программное обеспечение Кл.слова (ненормированные): конкурентные системы -- синтаксис -- спецификации Дескрипторы: сб пр -- конф.м Экземпляры всего: 1 02 (1) Свободны: 02 (1) |