Contents
Academic literature on the topic 'Formats orientés objets'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Formats orientés objets.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Books on the topic "Formats orientés objets"
1926-, Goldsack Stephen J., and Kent, S. J. H. 1966-, eds. Formal methods and object technology. Springer, 1996.
Find full textRoth, Andreas. Specification and verification of object oriented software components. Univ.-Verl. Karlsruhe, 2006.
Find full textFMCO 2008 (2008 Amsterdam, Netherlands). Formal methods for components and objects: 6th international symposium. Springer, 2008.
Find full textN.Z.) SOFL+MSVL (Workshop) (3rd 2013 Queenstown. Structured object-oriented formal language and method: Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013 : revised selected papers. Springer, 2014.
Find full textFMCO 2003 (2003 Leiden, Netherlands). Formal methods for components and objects: Second international symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003 : revised lectures. Springer, 2004.
Find full textCastagna, Giuseppe. ECOOP 2013 – Object-Oriented Programming: 27th European Conference, Montpellier, France, July 1-5, 2013. Proceedings. Springer Berlin Heidelberg, 2013.
Find full textservice), SpringerLink (Online, ed. ECOOP 2012 – Object-Oriented Programming: 26th European Conference, Beijing, China, June 11-16, 2012. Proceedings. Springer Berlin Heidelberg, 2012.
Find full textElie, Najm, Nestmann Uwe, and Stevens Perdita, eds. Formal methods for open object-based distributed systems: 6th IFIP WG 6.0 international conference, FMOODS 2003, Paris, France, November 2003 : proceedings. Springer-Verlag, 2003.
Find full textInternational Conference on Formal Methods for Open Object-Based Distributed Systems (12th 2010 Amsterdam, Netherlands). Formal techniques for distributed systems: Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, the Netherlands, June 7-9, 2010 : proceedings. Springer, 2010.
Find full textJ, Tarr Michael, and Bülthoff Heinrich H, eds. Object recognition in man, monkey, and machine. MIT Press, 1998.
Find full text