Книги з теми "Formats orientés objets"
Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями
Ознайомтеся з топ-45 книг для дослідження на тему "Formats orientés objets".
Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.
Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.
Переглядайте книги для різних дисциплін та оформлюйте правильно вашу бібліографію.
1926-, Goldsack Stephen J., and Kent, S. J. H. 1966-, eds. Formal methods and object technology. London: Springer, 1996.
Знайти повний текст джерелаRoth, Andreas. Specification and verification of object oriented software components. Karlsruhe: Univ.-Verl. Karlsruhe, 2006.
Знайти повний текст джерелаFMCO 2008 (2008 Amsterdam, Netherlands). Formal methods for components and objects: 6th international symposium. Berlin: Springer, 2008.
Знайти повний текст джерелаN.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.
Знайти повний текст джерелаFMCO 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.
Знайти повний текст джерелаCastagna, Giuseppe. ECOOP 2013 – Object-Oriented Programming: 27th European Conference, Montpellier, France, July 1-5, 2013. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013.
Знайти повний текст джерелаservice), SpringerLink (Online, ed. ECOOP 2012 – Object-Oriented Programming: 26th European Conference, Beijing, China, June 11-16, 2012. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012.
Знайти повний текст джерелаElie, 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. Berlin: Springer-Verlag, 2003.
Знайти повний текст джерелаInternational 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.
Знайти повний текст джерелаJ, Tarr Michael, and Bülthoff Heinrich H, eds. Object recognition in man, monkey, and machine. Cambridge, Mass: MIT Press, 1998.
Знайти повний текст джерелаBoer, 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.
Знайти повний текст джерелаde, Boer Frank S., and 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.
Знайти повний текст джерелаLano, Kevin. Formal Object-Oriented Development. Springer London, Limited, 2012.
Знайти повний текст джерелаLarsen, Peter G., Paul Mukherjee, Nico Plat, Marcel Verhoef, and John Fitzgerald. Validated Designs for Object-oriented Systems. Springer, 2004.
Знайти повний текст джерелаBonsangue, Marcello M., and 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.
Знайти повний текст джерелаRoever, Willem-Paul de, Susanne Graf, and 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.
Знайти повний текст джерелаFormal Methods For Components And Objects 5th International Symposium Fmco 2006 Amsterdam Netherlands November 710 2006 Revised Lectures. Springer, 2008.
Знайти повний текст джерелаRoever, Willem-Paul de, Frank S. de Boer, Susanne Graf, and 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.
Знайти повний текст джерелаRoever, Willem-Paul de, Susanne Graf, Marcello Bonsangue, and 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.
Знайти повний текст джерелаKrogdahl, Stein, Tom Lyche, and Olaf Owe. From Object-Orientation to Formal Methods: Essays in Memory of Ole-Johan Dahl. Springer London, Limited, 2004.
Знайти повний текст джерелаFrank S. de Boer (Editor), Marcello M. Bonsangue (Editor), Susanne Graf (Editor), and 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.
Знайти повний текст джерелаEcoop 2014 -- Object-Oriented Programming: 28th Europan Conference, Uppsala, Sweden, July 28--August 1, 2014, Proceedings. Springer Berlin / Heidelberg, 2014.
Знайти повний текст джерелаLambrix, Patrick. Part-Whole Reasoning in an Object-Centered Framework. Springer, 2003.
Знайти повний текст джерелаBoer, Frank S. de, Reiner Hähnle, Elena Giachino, and Marcello M. Bonsangue. Formal Methods for Components and Objects: 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures. Springer, 2013.
Знайти повний текст джерела(Editor), Bernhard Beckert, Reiner Hähnle (Editor), and 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.
Знайти повний текст джерелаLechte, John. Philosophy of the Medium. Bloomsbury Publishing Plc, 2023. http://dx.doi.org/10.5040/9781350299214.
Повний текст джерелаFormal Methods for Components and Objects: 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1 2010. Springer London, Limited, 2011.
Знайти повний текст джерелаBoer, Frank S. de, Reiner Hähnle, Elena Giachino, and 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.
Знайти повний текст джерелаRoever, Willem-Paul de, Frank S. de Boer, Susanne Graf, and 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.
Знайти повний текст джерелаRoever, Willem-Paul de, Frank S. de Boer, Susanne Graf, and 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.
Знайти повний текст джерелаRoever, Willem-Paul de, Frank S. de Boer, Susanne Graf, and 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.
Знайти повний текст джерелаPractical UML statecharts in C/C++: Event-driven programming for embedded systems. 2nd ed. Amsterdam: Newnes/Elsevier, 2009.
Знайти повний текст джерелаSamek, Miro. Practical UML Statecharts in C/C++: Event-Driven Programming for Embedded Systems. Taylor & Francis Group, 2008.
Знайти повний текст джерелаSamek, Miro. Practical UML Statecharts in C/C++: Event-Driven Programming for Embedded Systems. Taylor & Francis Group, 2008.
Знайти повний текст джерелаPetersson, Sonya, Christer Johansson, Magdalena Holdar, and 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.
Повний текст джерелаFrank S. de Boer (Editor), Marcello M. Bonsangue (Editor), Susanne Graf (Editor), and 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.
Знайти повний текст джерелаSteffen, Martin, and 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.
Знайти повний текст джерела(Editor), Martin Steffen, and 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.
Знайти повний текст джерелаFort, Federico Ignacio. ¿Solo imágenes de propaganda? Teseo, 2022. http://dx.doi.org/10.55778/ts878852775.
Повний текст джерелаBarrio Maestre, José María. El desafío de la formación intelectual. Teseo, 2020. http://dx.doi.org/10.55778/ts508939166.
Повний текст джерелаAndruchow, Marcela, ed. Colección de obras de la Facultad de Artes. Papel Cosido, 2020. http://dx.doi.org/10.35537/10915/120423.
Повний текст джерелаSamek, Miro. Practical UML Statecharts in C/C++: Event-Driven Programming for Embedded Systems. Taylor & Francis Group, 2008.
Знайти повний текст джерелаSamek, Miro. Practical UML Statecharts in C/C++: Event-Driven Programming for Embedded Systems. Taylor & Francis Group, 2018.
Знайти повний текст джерелаMartins Rodrigues, Jorge José, and 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.
Повний текст джерелаDonato, 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.
Повний текст джерела