Fundamental approaches to software engineering (vol. # 3442) 8th international conference, FASE 2005, held as part of the joint european conferences on theory and practice of software, ETAPS 2005, Edinburgh, UK, April

Fundamental approaches to software engineering (vol. # 3442) 8th international conference, FASE 2005, held as part of the joint european conferences on theory and practice of software, ETAPS 2005, Edinburgh, UK, April

Gardado en:

Detalles Bibliográficos
Autor Principal:	Cerioli, Maura (Author)
Autor Corporativo:	SpringerLink (Online service)
Formato:	eBook
Idioma:	English
Publicado:	Berlin Heidelberg : Springer 2005
Series:	Lecture Notes in Computer Science, 3442
Subjects:	Computer science Software engineering Logic design
Acceso en liña:	Click here to view the full text content
Tags:	Engadir etiqueta Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!

Títulos similares

Fundamental approaches to software engineering : 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings /
Publicado: (2014)

Foundations of software science and computational structures (vol. # 3441) 8th international conference, FOSSACS 2005, held as part of the joint european conferences on theory and practice of software, ETAPS 2005
por: Sassone, Vladimiro
Publicado: (2005)

Fundamental approaches to software engineering 12th international conference, FASE 2009, held as part of the joint European conferences on theory and practice of software, ETAPS 2009, York, UK, March 22-29, 2009. proceedings /
Publicado: (2009)

Programming languages and systems (vol. # 3444) 14th european symposium on programming, ESOP 2005, held as part of the joint european conferences on theory and practice of software, ETAPS 2005, Edinburgh, UK, April 4-8,
por: Sagiv, Mooly
Publicado: (2005)

Fundamental approaches to software engineering : 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings /
Publicado: (2013)

Fundamental approaches to software engineering : 15th International Conference, FASE 2012, held as part of the European joint conferences on theory and practice of software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings /
Publicado: (2012)

Compiler construction (vol. # 3443) 14th international conference, CC 2005, held as part of the joint european conferences on theory and practice of Software, ETAPS 2005
Publicado: (2005)

Fundamental approaches to software engineering 13th International Conference, FASE 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings /
por: Rosenblum, David S.
Publicado: (2010)

Tools and algorithms for the construction and analysis of systems (vol. # 3440) 11th international conference, TACAS 2005, held as part of the joint european conference on theory and practice of software, ETAPS 2005, Ed
por: Halbwachs, Nicolas
Publicado: (2005)

Fundamental approaches to software engineering (vol. # 3922) : 9th International Conference, FASE 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006: proceedings /
Publicado: (2006)

Fundamental approaches to software engineering : 10th international conference, FASE 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007, proceeding.
Publicado: (2007)

Fundamental approaches to software engineering : 10th international conference, FASE 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007, proceeding.
Publicado: (2007)

Software composition : 4th International Workshop, SC 2005, Edinburgh, UK, April 9, 2005, Revised Selected Papers /

Computer aided verification (vol. # 3576) : 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings

Foundations of software science and computational structures : 10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal.
por: Seidl, Helmut
Publicado: (2007)

Component-Based Software Engineering (vol. # 3489) 8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005
por: Crnkovic, Ivica
Publicado: (2005)

Foundations of software science and computation structures : 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings /
Publicado: (2014)

Extreme programming and agile processes in software engineering (vol. # 3556) / 6th International Conference, XP 2005, Sheffield, UK, June 18-23, 2005, Proceedings

Computer Science Logic (vol. # 3634) 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings

Foundations of software science and computational structures 13th international conference, FOSSACS 2010,held as part of the joint european conferences on theory and practice of software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings /
Publicado: (2010)

Foundations of software science and computation structures : 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings /
Publicado: (2013)

Foundations of software science and computational structures : 15th International Conference, FOSSACS 2012, Held as Part of the European joint conferences on theory and practice of software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings /
Publicado: (2012)

Developments in language theory (vol. # 3572) 9th International Conference, DLT 2005, Palermo, Italy, July 4-8, 2005, Proceedings
Publicado: (2005)

Foundations of software science and computational structures 12th international conference, FOSSACS 2009, held as part of the joint European conferences on theory and practice of software, ETAPS 2009, York, UK, March 22-29, 2009. proceedings /
Publicado: (2009)

Formal approaches to software testing (vol. # 3997) : 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers /
Publicado: (2006)

Term Rewriting and Applications (vol. # 3467) 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005, Proceedings
Publicado: (2005)

Logic based program synthesis and transformation (vol. # 3901) : 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers /
Publicado: (2006)

Fundamentals of software engineering : 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers /
Publicado: (2013)

Fundamentals of software engineering : 4th IPM International conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, revised selected papers /
Publicado: (2012)

Implementation and application of automata (vol. # 3845) : 10th International Conference, CIAA 2005, Sophia Antipolis, France, June 27-29, 2005, Revised Selected Papers /

Compiler construction : 16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007. Proceedings.
por: Krishnamurthi, Shriram
Publicado: (2007)

Computational logic in multi-agent systems (vol. # 3900) : 6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005, Revised Selected and Invited Papers /
Publicado: (2006)

Fundamentals of software engineering third IPM international conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers /
por: Arbab, Farhad
Publicado: (2010)

Verification, model checking, and abstract interpretation (vol. # 3385) 6th international conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings
por: Cousot, Radhia
Publicado: (2005)

Tools and algorithms for the construction and analysis of systems : 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal.
por: Grumberg, Orna
Publicado: (2007)

Tools and algorithms for the construction and analysis of systems : 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings /
Publicado: (2014)

Formal modeling and analysis of timed systems (vol. # 3829) / third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings

Hybrid systems: computation and control (vol. # 3414) 8th international workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings
Publicado: (2005)

Verified software: theories, tools, experiments third international conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010. Proceedings /
Publicado: (2010)

Programming languages and systems : 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings /
Publicado: (2013)