Нравится LibRing?
Расскажи друзьям:
Italy) International Symposium of Formal Methods Europe 2003 Pisa, Keijiro Araki, Stefania Gnesi, Dino Mandrioli, Dion Mandrioli

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

Книгу можно купить в интернет-магазинах:

· OZON.ru 12845р. [Проверить наличие]
ISBN: 3540408282
Издательство: Springer-Verlag