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

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
-
978-3-540-72919-8
₹ 7,385.00 ₹ 8,718.91