FORMAL METHODS FOR OPEN OBJECT-BASED DISTRIBUTED SYSTEMS: 9TH IFIP WG 6.1 INTERNATIONAL CONFERENCE, FMOODS 2007, PAPHOS, CYPRUS, JUNE 6-8, 2007, PROCEEDINGS
SPRINGER
₹ 7,385.00
₹ 8,718.91
✻