Log in

Relevant bibliographies by topics / FME / Books

To see the other types of publications on this topic, follow the link: FME.

Books on the topic 'FME'

Author: Grafiati

Published: 4 June 2021

Last updated: 25 July 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

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.

1

Araki, Keijiro, Stefania Gnesi, and Dino Mandrioli, eds. FME 2003: Formal Methods. Springer Berlin Heidelberg, 2003. http://dx.doi.org/10.1007/b13229.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Woodcock, 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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Eriksson, 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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Naftalin, 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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Oliveira, 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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Education, Foundation for Management, ed. A firm foundation: The story of the FME. Foundation forManagement Education, 1985.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

7

Gaudel, 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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Fitzgerald, 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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Neville, Dean, and Boute R. T, eds. Teaching formal methods: CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004 : proceedings. Springer, 2004.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

10

Garry, Parsons, ed. Fee fie fo-- mom! Steck-Vaughn, 2010.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

11

International 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.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

12

Maurice, 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.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

13

International 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.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

14

International 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.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

15

1965-, 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.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

16

International 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.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

17

International 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.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

18

1940-, Billgren Ola, and Nationalmuseum (Sweden), eds. Århundradenas konstverk: Fem sekler, fem konstnärer, fem val. Nationalmuseum, 1999.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

19

Klein, Bernd. FEM. Vieweg+Teubner Verlag, 2005. http://dx.doi.org/10.1007/978-3-8348-9100-6.

Full text

APA, Harvard, Vancouver, ISO, and other styles

20

Klein, Bernd. FEM. Vieweg+Teubner, 2010. http://dx.doi.org/10.1007/978-3-8348-9388-8.

Full text

APA, Harvard, Vancouver, ISO, and other styles

21

Klein, Bernd. FEM. Vieweg+Teubner Verlag, 1999. http://dx.doi.org/10.1007/978-3-322-92856-6.

Full text

APA, Harvard, Vancouver, ISO, and other styles

22

Klein, Bernd. FEM. Vieweg+Teubner Verlag, 2003. http://dx.doi.org/10.1007/978-3-663-10052-2.

Full text

APA, Harvard, Vancouver, ISO, and other styles

23

Klein, Bernd. FEM. Springer Fachmedien Wiesbaden, 2015. http://dx.doi.org/10.1007/978-3-658-06054-1.

Full text

APA, Harvard, Vancouver, ISO, and other styles

24

Klein, Bernd. FEM. Vieweg+Teubner Verlag, 2001. http://dx.doi.org/10.1007/978-3-322-91910-6.

Full text

APA, Harvard, Vancouver, ISO, and other styles

25

Klein, Bernd. FEM. Vieweg+Teubner Verlag, 2012. http://dx.doi.org/10.1007/978-3-8348-2134-8.

Full text

APA, Harvard, Vancouver, ISO, and other styles

26

Klein, Bernd. FEM. Vieweg+Teubner Verlag, 1990. http://dx.doi.org/10.1007/978-3-322-85604-3.

Full text

APA, Harvard, Vancouver, ISO, and other styles

27

Bisāṭī, Muḥammad. Fame. Edizioni e/o, 2014.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

28

Byrne, John. Fame. Dark Horse Comics, 1994.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

29

Kingsbury, Karen. Fame. Thorndike Press, 2005.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

30

Milly. FMB. [Milly], 2018.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

31

Fredericks, Mariah. Fame. Atheneum Books for Young Readers, 2008.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

32

Fredericks, Mariah. Fame. Atheneum Books for Young Readers, 2008.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

33

Alexander, Samantha. Fame. Macmillan Childrens' Books, 1995.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

34

Hutchinson, Shaun David. fml. Simon Pulse, 2013.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

35

FME Desktop: Das deutschsprachige Handbuch für Einsteiger und Anwender. Vde Verlag GmbH, 2015.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

36

Proceedings of the 2nd FME Workshop on Formal Methods in Software Engineering. Association for Computing Machinery, 2014.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

37

Dillon, Laura. Proceedings of the 4th FME Workshop on Formal Methods in Software Engineering. Association for Computing Machinery, 2016.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

38

Dean, 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.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

39

Dean, 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

APA, Harvard, Vancouver, ISO, and other styles

40

Fee Fie Fo... Mum! Oxford University Press, 2009.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

41

Taylor, Carroll. Fee Fie Fo Fun. Partner Press, 1989.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

42

Fee-Fie-Foe-Fum. The Wright Group, 1992.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

43

Lindsay, 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.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

44

(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 text

APA, Harvard, Vancouver, ISO, and other styles

45

Methods, 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

APA, Harvard, Vancouver, ISO, and other styles

46

Oliveira, 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.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

47

(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 text

APA, Harvard, Vancouver, ISO, and other styles

48

Fee Fie Foe/SONG/C/BB. McGraw-Hill Education, 1992.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

49

(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 text

APA, Harvard, Vancouver, ISO, and other styles

50

denmark 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

APA, Harvard, Vancouver, ISO, and other styles

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!