Livros sobre o tema "Formats orientés objets"
Crie uma referência precisa em APA, MLA, Chicago, Harvard, e outros estilos
Veja os 45 melhores livros para estudos sobre o assunto "Formats orientés objets".
Ao lado de cada fonte na lista de referências, há um botão "Adicionar à bibliografia". Clique e geraremos automaticamente a citação bibliográfica do trabalho escolhido no estilo de citação de que você precisa: APA, MLA, Harvard, Chicago, Vancouver, etc.
Você também pode baixar o texto completo da publicação científica em formato .pdf e ler o resumo do trabalho online se estiver presente nos metadados.
Veja os livros das mais diversas áreas científicas e compile uma bibliografia correta.
1926-, Goldsack Stephen J., e Kent, S. J. H. 1966-, eds. Formal methods and object technology. London: Springer, 1996.
Encontre o texto completo da fonteRoth, Andreas. Specification and verification of object oriented software components. Karlsruhe: Univ.-Verl. Karlsruhe, 2006.
Encontre o texto completo da fonteFMCO 2008 (2008 Amsterdam, Netherlands). Formal methods for components and objects: 6th international symposium. Berlin: Springer, 2008.
Encontre o texto completo da fonteN.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. Cham: Springer, 2014.
Encontre o texto completo da fonteFMCO 2003 (2003 Leiden, Netherlands). Formal methods for components and objects: Second international symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003 : revised lectures. Berlin: Springer, 2004.
Encontre o texto completo da fonteCastagna, Giuseppe. ECOOP 2013 – Object-Oriented Programming: 27th European Conference, Montpellier, France, July 1-5, 2013. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013.
Encontre o texto completo da fonteservice), SpringerLink (Online, ed. ECOOP 2012 – Object-Oriented Programming: 26th European Conference, Beijing, China, June 11-16, 2012. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012.
Encontre o texto completo da fonteElie, Najm, Nestmann Uwe e 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. Berlin: Springer-Verlag, 2003.
Encontre o texto completo da fonteInternational 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. Berlin: Springer, 2010.
Encontre o texto completo da fonteJ, Tarr Michael, e Bülthoff Heinrich H, eds. Object recognition in man, monkey, and machine. Cambridge, Mass: MIT Press, 1998.
Encontre o texto completo da fonteBoer, Frank S. de. Formal Methods for Components and Objects: 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010.
Encontre o texto completo da fontede, Boer Frank S., e SpringerLink (Online service), eds. Formal Methods for Open Object-Based Distributed Systems: 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings. Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2008.
Encontre o texto completo da fonteLano, Kevin. Formal Object-Oriented Development. Springer London, Limited, 2012.
Encontre o texto completo da fonteLarsen, Peter G., Paul Mukherjee, Nico Plat, Marcel Verhoef e John Fitzgerald. Validated Designs for Object-oriented Systems. Springer, 2004.
Encontre o texto completo da fonteBonsangue, Marcello M., e Eric Madelaine. Formal Methods for Components and Objects: 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, State of the Art Survey. Springer London, Limited, 2009.
Encontre o texto completo da fonteRoever, Willem-Paul de, Susanne Graf e Marcello M. Bonsangue. Formal Methods for Components and Objects: 6th International Symposium, FMCO 2007, Amsterdam, the Netherlands, October 24-26, 2007, Revised Lectures. Springer London, Limited, 2008.
Encontre o texto completo da fonteFormal Methods For Components And Objects 5th International Symposium Fmco 2006 Amsterdam Netherlands November 710 2006 Revised Lectures. Springer, 2008.
Encontre o texto completo da fonteRoever, Willem-Paul de, Frank S. de Boer, Susanne Graf e Marcello M. Bonsangue. Formal Methods for Components and Objects: 5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures. Springer London, Limited, 2008.
Encontre o texto completo da fonteRoever, Willem-Paul de, Susanne Graf, Marcello Bonsangue e Frank S. de Boer. Formal Methods for Components and Objects: First International Symposium, FMCO 2002, Leiden, the Netherlands, November 5-8, 2002, Revised Lectures. Springer London, Limited, 2003.
Encontre o texto completo da fonteKrogdahl, Stein, Tom Lyche e Olaf Owe. From Object-Orientation to Formal Methods: Essays in Memory of Ole-Johan Dahl. Springer London, Limited, 2004.
Encontre o texto completo da fonteFrank S. de Boer (Editor), Marcello M. Bonsangue (Editor), Susanne Graf (Editor) e Willem-Paul de Roever (Editor), eds. Formal Methods for Components and Objects: Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures (Lecture Notes in Computer Science). Springer, 2004.
Encontre o texto completo da fonteEcoop 2014 -- Object-Oriented Programming: 28th Europan Conference, Uppsala, Sweden, July 28--August 1, 2014, Proceedings. Springer Berlin / Heidelberg, 2014.
Encontre o texto completo da fonteLambrix, Patrick. Part-Whole Reasoning in an Object-Centered Framework. Springer, 2003.
Encontre o texto completo da fonteBoer, Frank S. de, Reiner Hähnle, Elena Giachino e Marcello M. Bonsangue. Formal Methods for Components and Objects: 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures. Springer, 2013.
Encontre o texto completo da fonte(Editor), Bernhard Beckert, Reiner Hähnle (Editor) e Peter H. Schmitt (Editor), eds. Verification of Object-Oriented Software. The KeY Approach: Foreword by K. Rustan M. Leino (Lecture Notes in Computer Science). Springer, 2007.
Encontre o texto completo da fonteLechte, John. Philosophy of the Medium. Bloomsbury Publishing Plc, 2023. http://dx.doi.org/10.5040/9781350299214.
Texto completo da fonteFormal Methods for Components and Objects: 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1 2010. Springer London, Limited, 2011.
Encontre o texto completo da fonteBoer, Frank S. de, Reiner Hähnle, Elena Giachino e Marcello M. Bonsangue. Formal Methods for Components and Objects: 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures. Springer London, Limited, 2013.
Encontre o texto completo da fonteRoever, Willem-Paul de, Frank S. de Boer, Susanne Graf e Marcello M. Bonsangue. Formal Methods for Components and Objects: 4th International Symposium, FMCO 2005, Amsterdam, the Netherlands, November 1-4, 2005, Revised Lectures. Springer London, Limited, 2006.
Encontre o texto completo da fonteRoever, Willem-Paul de, Frank S. de Boer, Susanne Graf e Marcello M. Bonsangue. Formal Methods for Components and Objects: Second International Symposium, FMCO 2003, Leiden, the Netherlands, November 4-7, 2003. Revised Lectures. Springer London, Limited, 2004.
Encontre o texto completo da fonteRoever, Willem-Paul de, Frank S. de Boer, Susanne Graf e Marcello M. Bonsangue. Formal Methods for Components and Objects: Third International Symposium, FMCO 2004, Leiden, the Netherlands, November 2-5, 2004, Revised Lectures. Springer London, Limited, 2005.
Encontre o texto completo da fontePractical UML statecharts in C/C++: Event-driven programming for embedded systems. 2a ed. Amsterdam: Newnes/Elsevier, 2009.
Encontre o texto completo da fonteSamek, Miro. Practical UML Statecharts in C/C++: Event-Driven Programming for Embedded Systems. Taylor & Francis Group, 2008.
Encontre o texto completo da fonteSamek, Miro. Practical UML Statecharts in C/C++: Event-Driven Programming for Embedded Systems. Taylor & Francis Group, 2008.
Encontre o texto completo da fontePetersson, Sonya, Christer Johansson, Magdalena Holdar e Sara Callahan, eds. The Power of the In-Between: Intermediality as a Tool for Aesthetic Analysis and Critical Reflection. Stockholm University Press, 2018. http://dx.doi.org/10.16993/baq.
Texto completo da fonteFrank S. de Boer (Editor), Marcello M. Bonsangue (Editor), Susanne Graf (Editor) e Willem-Paul de Roever (Editor), eds. Formal Methods for Components and Objects: Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures (Lecture Notes in Computer Science). Springer, 2005.
Encontre o texto completo da fonteSteffen, Martin, e Gianluigi Zavattaro. Formal Methods for Open Object-Based Distributed Systems: 7th IFIP WG 6. 1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings. Springer London, Limited, 2005.
Encontre o texto completo da fonte(Editor), Martin Steffen, e Gianluigi Zavattaro (Editor), eds. Formal Methods for Open Object-Based Distributed Systems: 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings (Lecture Notes in Computer Science). Springer, 2005.
Encontre o texto completo da fonteFort, Federico Ignacio. ¿Solo imágenes de propaganda? Teseo, 2022. http://dx.doi.org/10.55778/ts878852775.
Texto completo da fonteBarrio Maestre, José María. El desafío de la formación intelectual. Teseo, 2020. http://dx.doi.org/10.55778/ts508939166.
Texto completo da fonteAndruchow, Marcela, ed. Colección de obras de la Facultad de Artes. Papel Cosido, 2020. http://dx.doi.org/10.35537/10915/120423.
Texto completo da fonteSamek, Miro. Practical UML Statecharts in C/C++: Event-Driven Programming for Embedded Systems. Taylor & Francis Group, 2008.
Encontre o texto completo da fonteSamek, Miro. Practical UML Statecharts in C/C++: Event-Driven Programming for Embedded Systems. Taylor & Francis Group, 2018.
Encontre o texto completo da fonteMartins Rodrigues, Jorge José, e Maria Amélia Marques. Ciências Socialmente Aplicáveis: Integrando Saberes e Abrindo Caminhos III. Editora Artemis, 2022. http://dx.doi.org/10.37572/edart_290522583.
Texto completo da fonteDonato, Oscar. Redefinir lo humano en la era técnica: perspectivas filosóficas. Universidad Libre sede principal, 2020. http://dx.doi.org/10.18041/978-958-5578-23-4.
Texto completo da fonte