computers > software development & engineering / systems analysis & design
Formal Methods for Industrial Critical Systems: 12th International Workshop, Fmics 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers
Imported Edition - Ships in 12-14 Days
Free Shipping in India on orders above Rs. 500