"FME 2003: Formal Methods: International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings" - читать интересную книгу автора (keijiro (editor) ; gnesi, stefania (editor) ; mandrioli, dion (editor) araki)