FORMAL METHODS AND SOFTWARE ENGINEERING: 8TH INTERNATIONAL CONFERENCE ON FORMAL ENGINEERING METHODS, ICFEM 2006, MACAO, CHINA, NOVEMBER 1-3, 2006, PROCEEDINGS

FORMAL METHODS AND SOFTWARE ENGINEERING: 8TH INTERNATIONAL CONFERENCE ON FORMAL ENGINEERING METHODS, ICFEM 2006, MACAO, CHINA, NOVEMBER 1-3, 2006, PROCEEDINGS
SPRINGER
-
978-3-540-47460-9
₹ 12,001.00 ₹ 14,168.91