Kanavat - Integrated Formal Methods : :: Biblioteca ITESO

Samankaltaisia teoksia: Integrated Formal Methods :

Pikavilkaisu
Integrated Formal Methods : Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002. Proceedings. /
Pikavilkaisu
Formal Methods for Open Object-Based Distributed Systems : 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings /
Pikavilkaisu
Integrated Formal Methods : 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010, Proceedings /
Pikavilkaisu
Integrated Formal Methods : 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings /
Pikavilkaisu
Integrated Formal Methods : 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014 : Proceedings /
Pikavilkaisu
Integrated Formal Methods : 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings /
Pikavilkaisu
Integrated Formal Methods : 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings /
Pikavilkaisu
Integrated Formal Methods : 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009, Proceedings /
Pikavilkaisu
Integrated Formal Methods : 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings /
Pikavilkaisu
Integrated Formal Methods : Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 Proceedings /
Pikavilkaisu
FM 2008: Formal Methods : 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings /
Pikavilkaisu
NASA Formal Methods : 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings /
Pikavilkaisu
Unconventional Computation : 10th International Conference, UC 2011, Turku, Finland, June 6-10, 2011. Proceedings /
Pikavilkaisu
Web Services and Formal Methods : 10th International Workshop, WS-FM 2013, Beijing, China, August 2013 : Revised Selected Papers /
Pikavilkaisu
Formal Methods and Software Engineering : 15th International Conference on Formal EngineeringMethods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013, Proceedings /
Pikavilkaisu
Software Engineering and Formal Methods : 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013, Proceedings /
Pikavilkaisu
Formal Methods for Dynamical Systems : 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures /
Pikavilkaisu
Formal Methods and Software Engineering : 10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008, Proceedings /
Pikavilkaisu
Formal Methods: Foundations and Applications : 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013. Proceedings /
Pikavilkaisu
Formal Methods for Industrial Critical Systems : 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013, Proceedings /
Pikavilkaisu
Software Engineering and Formal Methods : 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings /
Pikavilkaisu
FM 2006: Formal Methods : 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings /
Pikavilkaisu
Formal Methods and Software Engineering : 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012, Proceedings /
Pikavilkaisu
FM 2011: Formal Methods : 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011, Proceedings /

Tekijä: Einar Broch Johnsen, Luigia Petre

Pikavilkaisu
Integrated Formal Methods : 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings /

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