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

Wedi'i Gadw mewn:

Manylion Llyfryddiaeth
Prif Awdur:	Cerioli, Maura (Awdur)
Awdur Corfforaethol:	SpringerLink (Online service)
Fformat:	eLyfr
Iaith:	English
Cyhoeddwyd:	Berlin Heidelberg : Springer 2005
Cyfres:	Lecture Notes in Computer Science, 3442
Pynciau:	Computer science Software engineering Logic design
Mynediad Ar-lein:	Click here to view the full text content
Tagiau:	Ychwanegu Tag Dim Tagiau, Byddwch y cyntaf i dagio'r cofnod hwn!

Eitemau Tebyg

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 /
Cyhoeddwyd: (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
gan: Sassone, Vladimiro
Cyhoeddwyd: (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 /
Cyhoeddwyd: (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,
gan: Sagiv, Mooly
Cyhoeddwyd: (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 /
Cyhoeddwyd: (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 /
Cyhoeddwyd: (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
Cyhoeddwyd: (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 /
gan: Rosenblum, David S.
Cyhoeddwyd: (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
gan: Halbwachs, Nicolas
Cyhoeddwyd: (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 /
Cyhoeddwyd: (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.
Cyhoeddwyd: (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.
Cyhoeddwyd: (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.
gan: Seidl, Helmut
Cyhoeddwyd: (2007)

Component-Based Software Engineering (vol. # 3489) 8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005
gan: Crnkovic, Ivica
Cyhoeddwyd: (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 /
Cyhoeddwyd: (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 /
Cyhoeddwyd: (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 /
Cyhoeddwyd: (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 /
Cyhoeddwyd: (2012)

Developments in language theory (vol. # 3572) 9th International Conference, DLT 2005, Palermo, Italy, July 4-8, 2005, Proceedings
Cyhoeddwyd: (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 /
Cyhoeddwyd: (2009)

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

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

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

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

Fundamentals of software engineering : 4th IPM International conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, revised selected papers /
Cyhoeddwyd: (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.
gan: Krishnamurthi, Shriram
Cyhoeddwyd: (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 /
Cyhoeddwyd: (2006)

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

Verification, model checking, and abstract interpretation (vol. # 3385) 6th international conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings
gan: Cousot, Radhia
Cyhoeddwyd: (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.
gan: Grumberg, Orna
Cyhoeddwyd: (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 /
Cyhoeddwyd: (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
Cyhoeddwyd: (2005)

Verified software: theories, tools, experiments third international conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010. Proceedings /
Cyhoeddwyd: (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 /
Cyhoeddwyd: (2013)