"Formal Techniques for Computer Systems and Business Processes: European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web " - читать интересную книгу автора (Mario Bravetti)