Deakin University / All Locations

Add Marked to Bag Add All On Page Add Marked to My Lists
Subjects (1-5 of 5)
Objektorientierung
1 2009 Formal methods for components and objects : 7th international symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008 : revised lectures FMCO (Symposium) (7th : 2008 : Sophia Antipolis, France) Rating: Electronic Resources More...
2 2005 Formal methods for components and objects : third international symposium, FMCO 2004, Leiden, the Netherlands, November 2-5, 2004 : revised lectures FMCO (Symposium) (3rd : 2004 : Leiden, Netherlands) Rating: Electronic Resources More...
3 2006 Formal methods for open object-based distributed systems : 8th IFIP WG 6.1 international conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006 : proceedings International Conference on Formal Methods for Open Object-Based Distributed Systems (8th : 2006 : Bologna, Italy) Rating: Electronic Resources More...
4 2011 Formal verification of object-oriented software : international conference, FoVeOOS 2010, Paris, France, June 28-30, 2010 : revised selected papers FoVeOOS (Conference) (2010 : Paris, France) Rating: Electronic Resources More...
5 2009 Object-oriented technology : ECOOP 2008 workshop reader ; ECOOP 2008 workshops, Paphos, Cyrus, July 7-11, 2008 ; final reports ECOOP (Conference) (22nd : 2008 : Paphos, Cyprus) Rating: Electronic Resources More...
Add Marked to Bag Add All On Page Locate in results

Formal methods for components and objects : 7th international symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008 : revised lectures