Livres sur le sujet « Formats orientés objets »
Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres
Consultez les 45 meilleurs livres pour votre recherche sur le sujet « Formats orientés objets ».
À côté de chaque source dans la liste de références il y a un bouton « Ajouter à la bibliographie ». Cliquez sur ce bouton, et nous générerons automatiquement la référence bibliographique pour la source choisie selon votre style de citation préféré : APA, MLA, Harvard, Vancouver, Chicago, etc.
Vous pouvez aussi télécharger le texte intégral de la publication scolaire au format pdf et consulter son résumé en ligne lorsque ces informations sont inclues dans les métadonnées.
Parcourez les livres sur diverses disciplines et organisez correctement votre bibliographie.
1926-, Goldsack Stephen J., et Kent, S. J. H. 1966-, dir. Formal methods and object technology. London : Springer, 1996.
Trouver le texte intégralRoth, Andreas. Specification and verification of object oriented software components. Karlsruhe : Univ.-Verl. Karlsruhe, 2006.
Trouver le texte intégralFMCO 2008 (2008 Amsterdam, Netherlands). Formal methods for components and objects : 6th international symposium. Berlin : Springer, 2008.
Trouver le texte intégralN.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.
Trouver le texte intégralFMCO 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.
Trouver le texte intégralCastagna, Giuseppe. ECOOP 2013 – Object-Oriented Programming : 27th European Conference, Montpellier, France, July 1-5, 2013. Proceedings. Berlin, Heidelberg : Springer Berlin Heidelberg, 2013.
Trouver le texte intégralservice), SpringerLink (Online, dir. ECOOP 2012 – Object-Oriented Programming : 26th European Conference, Beijing, China, June 11-16, 2012. Proceedings. Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.
Trouver le texte intégralElie, Najm, Nestmann Uwe et Stevens Perdita, dir. 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.
Trouver le texte intégralInternational 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.
Trouver le texte intégralJ, Tarr Michael, et Bülthoff Heinrich H, dir. Object recognition in man, monkey, and machine. Cambridge, Mass : MIT Press, 1998.
Trouver le texte intégralBoer, 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.
Trouver le texte intégralde, Boer Frank S., et SpringerLink (Online service), dir. 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.
Trouver le texte intégralLano, Kevin. Formal Object-Oriented Development. Springer London, Limited, 2012.
Trouver le texte intégralLarsen, Peter G., Paul Mukherjee, Nico Plat, Marcel Verhoef et John Fitzgerald. Validated Designs for Object-oriented Systems. Springer, 2004.
Trouver le texte intégralBonsangue, Marcello M., et 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.
Trouver le texte intégralRoever, Willem-Paul de, Susanne Graf et 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.
Trouver le texte intégralFormal Methods For Components And Objects 5th International Symposium Fmco 2006 Amsterdam Netherlands November 710 2006 Revised Lectures. Springer, 2008.
Trouver le texte intégralRoever, Willem-Paul de, Frank S. de Boer, Susanne Graf et 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.
Trouver le texte intégralRoever, Willem-Paul de, Susanne Graf, Marcello Bonsangue et 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.
Trouver le texte intégralKrogdahl, Stein, Tom Lyche et Olaf Owe. From Object-Orientation to Formal Methods : Essays in Memory of Ole-Johan Dahl. Springer London, Limited, 2004.
Trouver le texte intégralFrank S. de Boer (Editor), Marcello M. Bonsangue (Editor), Susanne Graf (Editor) et Willem-Paul de Roever (Editor), dir. 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.
Trouver le texte intégralEcoop 2014 -- Object-Oriented Programming : 28th Europan Conference, Uppsala, Sweden, July 28--August 1, 2014, Proceedings. Springer Berlin / Heidelberg, 2014.
Trouver le texte intégralLambrix, Patrick. Part-Whole Reasoning in an Object-Centered Framework. Springer, 2003.
Trouver le texte intégralBoer, Frank S. de, Reiner Hähnle, Elena Giachino et Marcello M. Bonsangue. Formal Methods for Components and Objects : 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures. Springer, 2013.
Trouver le texte intégral(Editor), Bernhard Beckert, Reiner Hähnle (Editor) et Peter H. Schmitt (Editor), dir. Verification of Object-Oriented Software. The KeY Approach : Foreword by K. Rustan M. Leino (Lecture Notes in Computer Science). Springer, 2007.
Trouver le texte intégralLechte, John. Philosophy of the Medium. Bloomsbury Publishing Plc, 2023. http://dx.doi.org/10.5040/9781350299214.
Texte intégralFormal Methods for Components and Objects : 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1 2010. Springer London, Limited, 2011.
Trouver le texte intégralBoer, Frank S. de, Reiner Hähnle, Elena Giachino et 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.
Trouver le texte intégralRoever, Willem-Paul de, Frank S. de Boer, Susanne Graf et 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.
Trouver le texte intégralRoever, Willem-Paul de, Frank S. de Boer, Susanne Graf et 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.
Trouver le texte intégralRoever, Willem-Paul de, Frank S. de Boer, Susanne Graf et 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.
Trouver le texte intégralPractical UML statecharts in C/C++ : Event-driven programming for embedded systems. 2e éd. Amsterdam : Newnes/Elsevier, 2009.
Trouver le texte intégralSamek, Miro. Practical UML Statecharts in C/C++ : Event-Driven Programming for Embedded Systems. Taylor & Francis Group, 2008.
Trouver le texte intégralSamek, Miro. Practical UML Statecharts in C/C++ : Event-Driven Programming for Embedded Systems. Taylor & Francis Group, 2008.
Trouver le texte intégralPetersson, Sonya, Christer Johansson, Magdalena Holdar et Sara Callahan, dir. 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.
Texte intégralFrank S. de Boer (Editor), Marcello M. Bonsangue (Editor), Susanne Graf (Editor) et Willem-Paul de Roever (Editor), dir. 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.
Trouver le texte intégralSteffen, Martin, et 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.
Trouver le texte intégral(Editor), Martin Steffen, et Gianluigi Zavattaro (Editor), dir. 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.
Trouver le texte intégralFort, Federico Ignacio. ¿Solo imágenes de propaganda ? Teseo, 2022. http://dx.doi.org/10.55778/ts878852775.
Texte intégralBarrio Maestre, José María. El desafío de la formación intelectual. Teseo, 2020. http://dx.doi.org/10.55778/ts508939166.
Texte intégralAndruchow, Marcela, dir. Colección de obras de la Facultad de Artes. Papel Cosido, 2020. http://dx.doi.org/10.35537/10915/120423.
Texte intégralSamek, Miro. Practical UML Statecharts in C/C++ : Event-Driven Programming for Embedded Systems. Taylor & Francis Group, 2008.
Trouver le texte intégralSamek, Miro. Practical UML Statecharts in C/C++ : Event-Driven Programming for Embedded Systems. Taylor & Francis Group, 2018.
Trouver le texte intégralMartins Rodrigues, Jorge José, et 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.
Texte intégralDonato, 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.
Texte intégral