Channels - Formal Aspects of Component Software : :: Biblioteca ITESO

Ngā tūemi rite: Formal Aspects of Component Software :

Quick Look
Formal Aspects of Component Software : 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers /
Quick Look
Formal Aspects of Component Software : 10th International Symposium, FACS 2013, Nanchang, China, October 27–29, 2013 : Revised Selected Papers /
Quick Look
Formal Aspects of Component Software : 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 11-13, 2012. Revised Selected Papers /
Quick Look
Fundamentals of Software Engineering : Fourth International IPM Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers /
Quick Look
Formal Aspects of Security and Trust : 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers /
Quick Look
Formal Methods for Components and Objects : 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers /
Quick Look
Formal Methods for Components and Objects : 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers /
Quick Look
Rewriting Logic and Its Applications : 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers /
Quick Look
Fundamentals of Software Engineering : Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers /
Quick Look
Formal Aspects of Security : First International Conference, FASec 2002, London, UK, December 16-18, 2002, Revised Papers /
Quick Look
Formal Methods for Components and Objects : First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures /
Quick Look
International Symposium on Fundamentals of Software Engineering : International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings /
Quick Look
Formal Methods for Components and Objects : 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures /
Quick Look
Formal Aspects of Security and Trust : 7th International Workshop, FAST 2010, Pisa, Italy, September 16-17, 2010. Revised Selected Papers /
Quick Look
Composing Software Components : A Software-testing Perspective /
Quick Look
Component-Based Software Engineering : 8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005 /
Quick Look
Formal Methods for Components and Objects : Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures /
Quick Look
Formal Methods for Components and Objects : Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures /
Quick Look
Generative and Component-Based Software Engineering : First International Symposium, GCSE'99, Erfurt, Germany, September 28-30, 1999. Revised Papers /
Quick Look
Formal Methods for Components and Objects : 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures /
Quick Look
Formal Methods for Components and Objects : 5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures /
Quick Look
Formal Methods for Components and Objects : 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures /
Quick Look
Practical Aspects of Design Science : European Design Science Symposium, EDSS 2011, Leixlip, Ireland, October 14, 2011, Revised Selected Papers /
Quick Look
Formal Verification of Object-Oriented Software : International Conference, FoVeOO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers /

Kaituhi: Farhad Arbab, Peter Csaba Ölveczky

Quick Look
Formal Aspects of Component Software : 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers /

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