Product Description
ISBN: 9783540278825
TITLE: FM 2005: Formal Methods : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings : 3582
AUTHOR: John Fitzgerald
PUBLISHER: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
PUBLISHER DATE: 4 Jul 2005