Channels - FME 2002: Formal Methods - Getting IT Right : :: Biblioteca ITESO

Lignende værker: FME 2002: Formal Methods - Getting IT Right :

Quick Look
FME 2003: Formal Methods : International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings /
Quick Look
FME 2001: Formal Methods for Increasing Software Productivity : International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001, Proceedings /
Quick Look
FME '97 Industrial Applications and Strengthened Foundations of Formal Methods : 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997. Proceedings /
Quick Look
Getting it Right : R and D Methods for Science and Engineering /
Quick Look
Getting it Right : R and D Methods for Science and Engineering /
Quick Look
FM 2005: Formal Methods : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings /
Quick Look
Getting it Right : prioridades estratégicas para México /
Quick Look
Getting the Balance Right : Gender Equality in Journalism /
Quick Look
Getting it Right in Print : Digital Prepress for Graphic Designers /
Quick Look
Formal Methods and Software Engineering : 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002, Proceedings /
Quick Look
Teaching Formal Methods : CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004. Proceedings /
Quick Look
Formal Methods and Software Engineering : 15th International Conference on Formal EngineeringMethods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013, Proceedings /
Quick Look
FM 2011: Formal Methods : 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011, Proceedings /
Quick Look
Integrated Formal Methods : Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002. Proceedings. /
Quick Look
Formal Methods for Components and Objects : First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures /
Quick Look
Getting the Right Things Done : A Leader's Guide to Planning and Execution /
Quick Look
Formal Methods in Architecture and Urbanism /
Quick Look
FM 2006: Formal Methods : 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings /
Quick Look
FM 2008: Formal Methods : 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings /
Quick Look
FM'99 - Formal Methods : World Congress on Formal Methods in the Developement of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume I /
Quick Look
FM'99 - Formal Methods : World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 Proceedings, Volume II /
Quick Look
Formal Foundations for Software Engineering Methods /
Quick Look
Formal Methods in Computer-Aided Design : 4th International Conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002, Proceedings /
Quick Look
Formal Methods: Foundations and Applications : 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers /

Forfatter: Lars-Henrik Eriksson, Peter Alexander Lindsay

Quick Look
FME 2002: Formal Methods - Getting IT Right : International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 Proceedings /

© 2026 Catálogo Público de la Biblioteca V/F -- v.11.0