Libri sul tema "Formats orientés objets"
Cita una fonte nei formati APA, MLA, Chicago, Harvard e in molti altri stili
Vedi i top-45 libri per l'attività di ricerca sul tema "Formats orientés objets".
Accanto a ogni fonte nell'elenco di riferimenti c'è un pulsante "Aggiungi alla bibliografia". Premilo e genereremo automaticamente la citazione bibliografica dell'opera scelta nello stile citazionale di cui hai bisogno: APA, MLA, Harvard, Chicago, Vancouver ecc.
Puoi anche scaricare il testo completo della pubblicazione scientifica nel formato .pdf e leggere online l'abstract (il sommario) dell'opera se è presente nei metadati.
Vedi i libri di molte aree scientifiche e compila una bibliografia corretta.
1926-, Goldsack Stephen J., e Kent, S. J. H. 1966-, a cura di. Formal methods and object technology. London: Springer, 1996.
Cerca il testo completoRoth, Andreas. Specification and verification of object oriented software components. Karlsruhe: Univ.-Verl. Karlsruhe, 2006.
Cerca il testo completoFMCO 2008 (2008 Amsterdam, Netherlands). Formal methods for components and objects: 6th international symposium. Berlin: Springer, 2008.
Cerca il testo completoN.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.
Cerca il testo completoFMCO 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.
Cerca il testo completoCastagna, Giuseppe. ECOOP 2013 – Object-Oriented Programming: 27th European Conference, Montpellier, France, July 1-5, 2013. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013.
Cerca il testo completoservice), SpringerLink (Online, a cura di. ECOOP 2012 – Object-Oriented Programming: 26th European Conference, Beijing, China, June 11-16, 2012. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012.
Cerca il testo completoElie, Najm, Nestmann Uwe e Stevens Perdita, a cura di. 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.
Cerca il testo completoInternational 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.
Cerca il testo completoJ, Tarr Michael, e Bülthoff Heinrich H, a cura di. Object recognition in man, monkey, and machine. Cambridge, Mass: MIT Press, 1998.
Cerca il testo completoBoer, 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.
Cerca il testo completode, Boer Frank S., e SpringerLink (Online service), a cura di. 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.
Cerca il testo completoLano, Kevin. Formal Object-Oriented Development. Springer London, Limited, 2012.
Cerca il testo completoLarsen, Peter G., Paul Mukherjee, Nico Plat, Marcel Verhoef e John Fitzgerald. Validated Designs for Object-oriented Systems. Springer, 2004.
Cerca il testo completoBonsangue, 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.
Cerca il testo completoRoever, 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.
Cerca il testo completoFormal Methods For Components And Objects 5th International Symposium Fmco 2006 Amsterdam Netherlands November 710 2006 Revised Lectures. Springer, 2008.
Cerca il testo completoRoever, 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.
Cerca il testo completoRoever, 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.
Cerca il testo completoKrogdahl, Stein, Tom Lyche e Olaf Owe. From Object-Orientation to Formal Methods: Essays in Memory of Ole-Johan Dahl. Springer London, Limited, 2004.
Cerca il testo completoFrank S. de Boer (Editor), Marcello M. Bonsangue (Editor), Susanne Graf (Editor) e Willem-Paul de Roever (Editor), a cura di. 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.
Cerca il testo completoEcoop 2014 -- Object-Oriented Programming: 28th Europan Conference, Uppsala, Sweden, July 28--August 1, 2014, Proceedings. Springer Berlin / Heidelberg, 2014.
Cerca il testo completoLambrix, Patrick. Part-Whole Reasoning in an Object-Centered Framework. Springer, 2003.
Cerca il testo completoBoer, 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.
Cerca il testo completo(Editor), Bernhard Beckert, Reiner Hähnle (Editor) e Peter H. Schmitt (Editor), a cura di. Verification of Object-Oriented Software. The KeY Approach: Foreword by K. Rustan M. Leino (Lecture Notes in Computer Science). Springer, 2007.
Cerca il testo completoLechte, John. Philosophy of the Medium. Bloomsbury Publishing Plc, 2023. http://dx.doi.org/10.5040/9781350299214.
Testo completoFormal Methods for Components and Objects: 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1 2010. Springer London, Limited, 2011.
Cerca il testo completoBoer, 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.
Cerca il testo completoRoever, 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.
Cerca il testo completoRoever, 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.
Cerca il testo completoRoever, 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.
Cerca il testo completoPractical UML statecharts in C/C++: Event-driven programming for embedded systems. 2a ed. Amsterdam: Newnes/Elsevier, 2009.
Cerca il testo completoSamek, Miro. Practical UML Statecharts in C/C++: Event-Driven Programming for Embedded Systems. Taylor & Francis Group, 2008.
Cerca il testo completoSamek, Miro. Practical UML Statecharts in C/C++: Event-Driven Programming for Embedded Systems. Taylor & Francis Group, 2008.
Cerca il testo completoPetersson, Sonya, Christer Johansson, Magdalena Holdar e Sara Callahan, a cura di. 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.
Testo completoFrank S. de Boer (Editor), Marcello M. Bonsangue (Editor), Susanne Graf (Editor) e Willem-Paul de Roever (Editor), a cura di. 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.
Cerca il testo completoSteffen, 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.
Cerca il testo completo(Editor), Martin Steffen, e Gianluigi Zavattaro (Editor), a cura di. 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.
Cerca il testo completoFort, Federico Ignacio. ¿Solo imágenes de propaganda? Teseo, 2022. http://dx.doi.org/10.55778/ts878852775.
Testo completoBarrio Maestre, José María. El desafío de la formación intelectual. Teseo, 2020. http://dx.doi.org/10.55778/ts508939166.
Testo completoAndruchow, Marcela, a cura di. Colección de obras de la Facultad de Artes. Papel Cosido, 2020. http://dx.doi.org/10.35537/10915/120423.
Testo completoSamek, Miro. Practical UML Statecharts in C/C++: Event-Driven Programming for Embedded Systems. Taylor & Francis Group, 2008.
Cerca il testo completoSamek, Miro. Practical UML Statecharts in C/C++: Event-Driven Programming for Embedded Systems. Taylor & Francis Group, 2018.
Cerca il testo completoMartins 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.
Testo completoDonato, 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.
Testo completo