Livres sur le sujet « FME »
Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres
Consultez les 50 meilleurs livres pour votre recherche sur le sujet « FME ».
À 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.
Araki, Keijiro, Stefania Gnesi, and Dino Mandrioli, eds. FME 2003: Formal Methods. Springer Berlin Heidelberg, 2003. http://dx.doi.org/10.1007/b13229.
Texte intégralWoodcock, James C. P., and Peter G. Larsen, eds. FME '93: Industrial-Strength Formal Methods. Springer Berlin Heidelberg, 1993. http://dx.doi.org/10.1007/bfb0024633.
Texte intégralEriksson, Lars-Henrik, and Peter Alexander Lindsay, eds. FME 2002:Formal Methods—Getting IT Right. Springer Berlin Heidelberg, 2002. http://dx.doi.org/10.1007/3-540-45614-7.
Texte intégralNaftalin, Maurice, Tim Denvir, and Miquel Bertran, eds. FME '94: Industrial Benefit of Formal Methods. Springer Berlin Heidelberg, 1994. http://dx.doi.org/10.1007/3-540-58555-9.
Texte intégralOliveira, José Nuno, and Pamela Zave, eds. FME 2001: Formal Methods for Increasing Software Productivity. Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/3-540-45251-6.
Texte intégralEducation, Foundation for Management, ed. A firm foundation: The story of the FME. Foundation forManagement Education, 1985.
Trouver le texte intégralGaudel, Marie-Claude, and James Woodcock, eds. FME'96: Industrial Benefit and Advances in Formal Methods. Springer Berlin Heidelberg, 1996. http://dx.doi.org/10.1007/3-540-60973-3.
Texte intégralFitzgerald, John, Cliff B. Jones, and Peter Lucas, eds. FME '97: Industrial Applications and Strengthened Foundations of Formal Methods. Springer Berlin Heidelberg, 1997. http://dx.doi.org/10.1007/3-540-63533-5.
Texte intégralNeville, Dean, and Boute R. T, eds. Teaching formal methods: CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004 : proceedings. Springer, 2004.
Trouver le texte intégralInternational Symposium of Formal Methods Europe (1st 1993 Odense, Denmark). FME '93: Industrial-strength formal methods : First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993 proceedings. Springer-Verlag, 1993.
Trouver le texte intégralMaurice, Naftalin, Denvir Tim, and Bertran Miquel, eds. FME '94: industrial benefit of formal methods: Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-28 1994 : proceedings. Springer, 1994.
Trouver le texte intégralInternational Symposium of Formal Methods Europe (2nd 1994 Barcelona, Spain). FME '94, industrial benefit of formal methods: Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-28, 1994 : proceedings. Springer-Verlag, 1994.
Trouver le texte intégralInternational Symposium of Formal Methods Europe (10th 2001 Berlin, Germany). FME 2001: Formal methods for increasing software productivity : [10th] International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001 : proceedings. Springer, 2001.
Trouver le texte intégral1965-, Fitzgerald John, Jones Cliff B. 1944-, and Lucas Peter 1955-, eds. FME '97: Industrial applications and strengthened foundations of formal methods : 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997 : proceedings. Springer, 1997.
Trouver le texte intégralInternational Symposium of Formal Methods Europe (4th 1997 Graz, Austria). FME '97, industrial applications and strengthened foundations of formal methods: 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997 : proceedings. Springer, 1997.
Trouver le texte intégralInternational Symposium of Formal Methods Europe (3rd 1996 Oxford, England). FME '96, industrial benefit and advances in formal methods: Third International Symposium of Formal Methods Europe co-sponsored by IFIP WG 14.3, Oxford, UK, March 18-22, 1996 : proceedings. Springer, 1996.
Trouver le texte intégral1940-, Billgren Ola, and Nationalmuseum (Sweden), eds. Århundradenas konstverk: Fem sekler, fem konstnärer, fem val. Nationalmuseum, 1999.
Trouver le texte intégralKlein, Bernd. FEM. Vieweg+Teubner Verlag, 2005. http://dx.doi.org/10.1007/978-3-8348-9100-6.
Texte intégralKlein, Bernd. FEM. Vieweg+Teubner, 2010. http://dx.doi.org/10.1007/978-3-8348-9388-8.
Texte intégralKlein, Bernd. FEM. Vieweg+Teubner Verlag, 1999. http://dx.doi.org/10.1007/978-3-322-92856-6.
Texte intégralKlein, Bernd. FEM. Vieweg+Teubner Verlag, 2003. http://dx.doi.org/10.1007/978-3-663-10052-2.
Texte intégralKlein, Bernd. FEM. Springer Fachmedien Wiesbaden, 2015. http://dx.doi.org/10.1007/978-3-658-06054-1.
Texte intégralKlein, Bernd. FEM. Vieweg+Teubner Verlag, 2001. http://dx.doi.org/10.1007/978-3-322-91910-6.
Texte intégralKlein, Bernd. FEM. Vieweg+Teubner Verlag, 2012. http://dx.doi.org/10.1007/978-3-8348-2134-8.
Texte intégralKlein, Bernd. FEM. Vieweg+Teubner Verlag, 1990. http://dx.doi.org/10.1007/978-3-322-85604-3.
Texte intégralFME Desktop: Das deutschsprachige Handbuch für Einsteiger und Anwender. Vde Verlag GmbH, 2015.
Trouver le texte intégralProceedings of the 2nd FME Workshop on Formal Methods in Software Engineering. Association for Computing Machinery, 2014.
Trouver le texte intégralDillon, Laura. Proceedings of the 4th FME Workshop on Formal Methods in Software Engineering. Association for Computing Machinery, 2016.
Trouver le texte intégralDean, C. Neville, and Raymond T. Boute. Teaching Formal Methods: CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004. Proceedings. Springer London, Limited, 2004.
Trouver le texte intégralDean, C. Neville, and Raymond T. Boute. Teaching Formal Methods: CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004. Proceedings. Springer, 2014.
Trouver le texte intégralLindsay, Peter A., and Lars-Henrik Eriksson. FME 2002 : Formal Methods - Getting IT Right: International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 Proceedings. Springer London, Limited, 2003.
Trouver le texte intégral(Editor), C. Neville Dean, and Raymond T. Boute (Editor), eds. Teaching Formal Methods: CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004. Proceedings (Lecture Notes in Computer Science). Springer, 2004.
Trouver le texte intégralMethods, International Symposium of Formal. Fme '94 : Industrial Benefit of Formal Methods : Second International Symposium of Formal Methods Europe Barcelona, Spain, October 24 -28, 1994 : Proc. Springer, 1994.
Trouver le texte intégralOliveira, Jose N., and Pamela Zave. FME 2001 : Formal Methods for Increasing Software Productivity: International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001, Proceedings. Springer London, Limited, 2003.
Trouver le texte intégral(Editor), Keijiro Araki, Stefania Gnesi (Editor), and Dion Mandrioli (Editor), eds. FME 2003: Formal Methods: International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings (Lecture Notes in Computer Science). Springer, 2003.
Trouver le texte intégral(Editor), Lars-Henrik Eriksson, and Peter A. Lindsay (Editor), eds. FME 2002: Formal Methods - Getting IT Right: International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 Proceedings (Lecture Notes in Computer Science). Springer, 2002.
Trouver le texte intégraldenmark International Symposium of Formal Methods Europe 1993 Odense and J. C. P. Woodcock. Fme '93: Industrial-Strength Formal Methods : First International Symposium of Formal Methods Europe Odense, Denmark, April 19-23, 1993 Proceedings (Lecture Notes in Computer Science). Springer, 1993.
Trouver le texte intégral