Books on the topic 'FME'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 50 books for your research on the topic 'FME.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Browse books on a wide variety of disciplines and organise your bibliography correctly.
Araki, Keijiro, Stefania Gnesi, and Dino Mandrioli, eds. FME 2003: Formal Methods. Berlin, Heidelberg: Springer Berlin Heidelberg, 2003. http://dx.doi.org/10.1007/b13229.
Full textWoodcock, James C. P., and Peter G. Larsen, eds. FME '93: Industrial-Strength Formal Methods. Berlin, Heidelberg: Springer Berlin Heidelberg, 1993. http://dx.doi.org/10.1007/bfb0024633.
Full textEriksson, Lars-Henrik, and Peter Alexander Lindsay, eds. FME 2002:Formal Methods—Getting IT Right. Berlin, Heidelberg: Springer Berlin Heidelberg, 2002. http://dx.doi.org/10.1007/3-540-45614-7.
Full textNaftalin, Maurice, Tim Denvir, and Miquel Bertran, eds. FME '94: Industrial Benefit of Formal Methods. Berlin, Heidelberg: Springer Berlin Heidelberg, 1994. http://dx.doi.org/10.1007/3-540-58555-9.
Full textEducation, Foundation for Management, ed. A firm foundation: The story of the FME. [London]: Foundation forManagement Education, 1985.
Find full textOliveira, José Nuno, and Pamela Zave, eds. FME 2001: Formal Methods for Increasing Software Productivity. Berlin, Heidelberg: Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/3-540-45251-6.
Full textGaudel, Marie-Claude, and James Woodcock, eds. FME'96: Industrial Benefit and Advances in Formal Methods. Berlin, Heidelberg: Springer Berlin Heidelberg, 1996. http://dx.doi.org/10.1007/3-540-60973-3.
Full textFitzgerald, John, Cliff B. Jones, and Peter Lucas, eds. FME '97: Industrial Applications and Strengthened Foundations of Formal Methods. Berlin, Heidelberg: Springer Berlin Heidelberg, 1997. http://dx.doi.org/10.1007/3-540-63533-5.
Full textNeville, Dean, and Boute R. T, eds. Teaching formal methods: CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004 : proceedings. Berlin: Springer, 2004.
Find full textInternational 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. Berlin: Springer-Verlag, 1993.
Find full textMaurice, 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. Berli: Springer, 1994.
Find full textInternational 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. Berlin: Springer-Verlag, 1994.
Find full textInternational 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. New York: Springer, 2001.
Find full text1965-, 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. Berlin: Springer, 1997.
Find full textInternational 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. Berlin: Springer, 1997.
Find full textInternational 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. Berlin: Springer, 1996.
Find full textUnited States. General Accounting Office. National Security and International Affairs Division. Defense trade: Decision to lower FMS administrative fee is premature. Washington, D.C. (P.O. Box 37050, Washington, D.C. 20013): The Office, 1999.
Find full textKlein, Bernd. FEM. Wiesbaden: Vieweg+Teubner Verlag, 1999. http://dx.doi.org/10.1007/978-3-322-92856-6.
Full textKlein, Bernd. FEM. Wiesbaden: Vieweg+Teubner Verlag, 2001. http://dx.doi.org/10.1007/978-3-322-91910-6.
Full textKlein, Bernd. FEM. Wiesbaden: Vieweg+Teubner Verlag, 2012. http://dx.doi.org/10.1007/978-3-8348-2134-8.
Full textKlein, Bernd. FEM. Wiesbaden: Vieweg+Teubner Verlag, 2003. http://dx.doi.org/10.1007/978-3-663-10052-2.
Full textKlein, Bernd. FEM. Wiesbaden: Vieweg+Teubner Verlag, 1990. http://dx.doi.org/10.1007/978-3-322-85604-3.
Full textKlein, Bernd. FEM. Wiesbaden: Vieweg+Teubner, 2010. http://dx.doi.org/10.1007/978-3-8348-9388-8.
Full textKlein, Bernd. FEM. Wiesbaden: Vieweg+Teubner Verlag, 2005. http://dx.doi.org/10.1007/978-3-8348-9100-6.
Full textKlein, Bernd. FEM. Wiesbaden: Springer Fachmedien Wiesbaden, 2015. http://dx.doi.org/10.1007/978-3-658-06054-1.
Full textFME Desktop: Das deutschsprachige Handbuch für Einsteiger und Anwender. Vde Verlag GmbH, 2015.
Find full textDean, C. Neville, and Raymond T. Boute. Teaching Formal Methods: CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004. Proceedings. Springer, 2014.
Find full text(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.
Find full textMethods, 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.
Find full text(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.
Find full textLucas, Peter, and C. B. Jones. Fme '97: Industrial Applications and Strengthened Foundations of Formal Methods: 4th International Symposium of Formal Methods Europe, Graz, Austria, September ... (Lecture Notes in Computer Science). Springer, 1997.
Find full textdenmark 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.
Find full text(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.
Find full textJames C. P. Woodcock (Editor), Peter G. Larsen (Editor), and Jim Woodcock (Other Contributor), eds. 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.
Find full text