Обложка книги Fme 2003: Formal Methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 : Proceedings (Lecture Notes in Computer Science, 2805)

Fme 2003: Formal Methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 : Proceedings (Lecture Notes in Computer Science, 2805)

, , , ,

ISBN: 3540408282;