Formal Methods and Software Engineering: 6th International Conference On Formal Engineering Methods, Icfem 2004, Seattle, Wa, Usa, November 8-12, 2004, Proceedings
Jim Davies
Verlag Gachnang & Springer
English Text.
Berlin, 2005; paperback.
ISBN: 3-540-23841-7 - EAN13: 9783540238416
Languages:
Weight: 1 kg