FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS: 12TH INTERNATIONAL WORKSHOP, FMICS 2007, BERLIN, GERMANY, JULY 1-2, 2007, REVISED SELECTED PAPERS
SPRINGER
₹ 6,462.00
₹ 7,628.91
✻