| ![](thumb.php?src=products/354/9783540238416.jpg&wmax=80&hmax=80) | Formal Methods and Software Engineering: 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, Wa, Usa, November 8-12, 2004 2004 Edition (Lecture Notes in Computer Science,) | Davies, Jim | Paperback | 3540238417 / 9783540238416 | 10/2004 | $104.49 |