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 et Dino Mandrioli, dir. FME 2003 : Formal Methods. Berlin, Heidelberg : Springer Berlin Heidelberg, 2003. http://dx.doi.org/10.1007/b13229.
Texte intégralWoodcock, James C. P., et Peter G. Larsen, dir. FME '93 : Industrial-Strength Formal Methods. Berlin, Heidelberg : Springer Berlin Heidelberg, 1993. http://dx.doi.org/10.1007/bfb0024633.
Texte intégralEriksson, Lars-Henrik, et Peter Alexander Lindsay, dir. FME 2002:Formal Methods—Getting IT Right. Berlin, Heidelberg : Springer Berlin Heidelberg, 2002. http://dx.doi.org/10.1007/3-540-45614-7.
Texte intégralNaftalin, Maurice, Tim Denvir et Miquel Bertran, dir. FME '94 : Industrial Benefit of Formal Methods. Berlin, Heidelberg : Springer Berlin Heidelberg, 1994. http://dx.doi.org/10.1007/3-540-58555-9.
Texte intégralEducation, Foundation for Management, dir. A firm foundation : The story of the FME. [London] : Foundation forManagement Education, 1985.
Trouver le texte intégralOliveira, José Nuno, et Pamela Zave, dir. FME 2001 : Formal Methods for Increasing Software Productivity. Berlin, Heidelberg : Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/3-540-45251-6.
Texte intégralGaudel, Marie-Claude, et James Woodcock, dir. 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.
Texte intégralFitzgerald, John, Cliff B. Jones et Peter Lucas, dir. 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.
Texte intégralNeville, Dean, et Boute R. T, dir. Teaching formal methods : CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004 : proceedings. Berlin : 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. Berlin : Springer-Verlag, 1993.
Trouver le texte intégralMaurice, Naftalin, Denvir Tim et Bertran Miquel, dir. FME '94 : industrial benefit of formal methods : Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-28 1994 : proceedings. Berli : 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. Berlin : 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. New York : Springer, 2001.
Trouver le texte intégral1965-, Fitzgerald John, Jones Cliff B. 1944- et Lucas Peter 1955-, dir. 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.
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. Berlin : 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. Berlin : Springer, 1996.
Trouver le texte intégralUnited 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.
Trouver le texte intégralFredericks, Mariah. Fame. New York : Atheneum Books for Young Readers, 2008.
Trouver le texte intégralFredericks, Mariah. Fame. New York : Atheneum Books for Young Readers, 2008.
Trouver le texte intégralKlein, Bernd. FEM. Wiesbaden : Vieweg+Teubner Verlag, 1999. http://dx.doi.org/10.1007/978-3-322-92856-6.
Texte intégralKlein, Bernd. FEM. Wiesbaden : Vieweg+Teubner Verlag, 2001. http://dx.doi.org/10.1007/978-3-322-91910-6.
Texte intégralKlein, Bernd. FEM. Wiesbaden : Vieweg+Teubner Verlag, 2012. http://dx.doi.org/10.1007/978-3-8348-2134-8.
Texte intégralKlein, Bernd. FEM. Wiesbaden : Vieweg+Teubner Verlag, 2003. http://dx.doi.org/10.1007/978-3-663-10052-2.
Texte intégralKlein, Bernd. FEM. Wiesbaden : Vieweg+Teubner Verlag, 1990. http://dx.doi.org/10.1007/978-3-322-85604-3.
Texte intégralKlein, Bernd. FEM. Wiesbaden : Vieweg+Teubner, 2010. http://dx.doi.org/10.1007/978-3-8348-9388-8.
Texte intégralKlein, Bernd. FEM. Wiesbaden : Vieweg+Teubner Verlag, 2005. http://dx.doi.org/10.1007/978-3-8348-9100-6.
Texte intégralKlein, Bernd. FEM. Wiesbaden : Springer Fachmedien Wiesbaden, 2015. http://dx.doi.org/10.1007/978-3-658-06054-1.
Texte intégralConrad, Lauren. The Fame Game (Fame Game #1). New York : HarperCollins, 2012.
Trouver le texte intégralFME Desktop : Das deutschsprachige Handbuch für Einsteiger und Anwender. Vde Verlag GmbH, 2015.
Trouver le texte intégralDean, C. Neville, et Raymond T. Boute. Teaching Formal Methods : CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004. Proceedings. Springer, 2014.
Trouver le texte intégral(Editor), C. Neville Dean, et Raymond T. Boute (Editor), dir. 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égral(Editor), Keijiro Araki, Stefania Gnesi (Editor) et Dion Mandrioli (Editor), dir. 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égralLucas, Peter, et 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.
Trouver le texte intégraldenmark International Symposium of Formal Methods Europe 1993 Odense et 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(Editor), Lars-Henrik Eriksson, et Peter A. Lindsay (Editor), dir. 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égralJames C. P. Woodcock (Editor), Peter G. Larsen (Editor) et Jim Woodcock (Other Contributor), dir. 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