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

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

Библиографическая информация
Опубликовано в: :	Springer e-books
Главный автор:	Baresi, Luciano
Соавтор:	SpringerLink (Online service)
Другие авторы:	Heckel, Reiko
Формат:	Электронная книга
Язык:	English
Публикация:	Berlin Heidelberg : Springer-Verlag GmbH., 2006
Серии:	Lecture Notes in Computer Science,
Предметы:	Computer Science Logic design Software engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Software Engineering
Online-ссылка:	http://dx.doi.org/10.1007/11693017 Перейти в каталог НБ ТГУ

Похожие документы

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
по: Cerioli, Maura
Публикация: (2005)

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.
по: Dwyer, Matthew B.
Публикация: (2007)

Fundamental Approaches to Software Engineering 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008
по: Fiadeiro, José Luiz
Публикация: (2008)

Model Checking Software (vol. # 3925) 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings
по: Valmari, Antti
Публикация: (2006)

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 /
Публикация: (2014)

Formal Methods and Software Engineering (vol. # 4260) 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings
по: Liu, Zhiming
Публикация: (2006)

Software Composition (vol. # 4089) 5th International Symposium, SC 2006, Vienna, Austria, March 25-26, 2006, Revised Papers
по: Löwe, Welf
Публикация: (2006)

Foundations of Software Science and Computational Structures (vol. # 3921) 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienn
по: Aceto, Luca
Публикация: (2006)

Formal Methods and Software Engineering (vol. # 3785) 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings
по: Banach, Richard
Публикация: (2005)

Hardware and Software, Verification and Testing Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers /
по: Bin, Eyal
Публикация: (2007)

Model Checking Software (vol. # 3639) 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings
по: Godefroid, Patrick
Публикация: (2005)

Fundamental Approaches to Software Engineering 18th International Conference, FASE 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings /
Публикация: (2015)

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
по: Sassone, Vladimiro
Публикация: (2005)

Foundations of Software Science and Computational Structures 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March
по: Amadio, Roberto
Публикация: (2008)

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 /
Публикация: (2013)

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 /
Публикация: (2013)

Verification, Model Checking, and Abstract Interpretation (vol. # 3855) 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings
по: Emerson, E. Allen
Публикация: (2006)

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.
по: Seidl, Helmut
Публикация: (2007)

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 /
Публикация: (2013)

Software Engineering 3 Domains, Requirements, and Software Design /
по: Bjørner, Dines
Публикация: (2006)

Hardware and Software, Verification and Testing First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers
по: Ur, Shmuel
Публикация: (2006)

Hardware and Software: Verification and Testing Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007. Proceedings /
по: Yorav, Karen
Публикация: (2008)

Software Engineering 1 Abstraction and Modelling /
по: Bjørner, Dines
Публикация: (2006)

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 /
Публикация: (2014)

Software Engineering 2 Specification of Systems and Languages /
по: Bjørner, Dines
Публикация: (2006)

Fundamentals of Software Engineering 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers /
Публикация: (2013)

Component-Based Software Engineering (vol. # 4063) 9th International Symposium, CBSE 2006, Västerås, Sweden, June 29 - July 1, 2006, Proceedings
по: Gorton, Ian
Публикация: (2006)

Model Checking Software 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007. Proceedings /
по: Bošnacki, Dragan
Публикация: (2007)

Component-Based Software Engineering (vol. # 3489) 8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005
по: Crnkovic, Ivica
Публикация: (2005)

Compiler Construction (vol. # 3923) 15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006, Proceedings
по: Mycroft, Alan
Публикация: (2006)

Model Checking Software 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings /
по: Hutchison, David
Публикация: (2008)

Model Checking Software 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings /
Публикация: (2013)

Verification, Model Checking, and Abstract Interpretation (vol. # 3385) 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings
по: Cousot, Radhia
Публикация: (2005)

Specification, Algebra, and Software Essays Dedicated to Kokichi Futatsugi /
Публикация: (2014)

Software Engineering and Formal Methods SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers /
Публикация: (2014)

Software Composition 7th International Symposium, SC 2008, Budapest, Hungary, March 29-30, 2008. Proceedings /
по: Pautasso, Cesare
Публикация: (2008)

Formal Approaches to Software Testing (vol. # 3395) 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers
по: Grabowski, Jens
Публикация: (2005)

Software Composition (vol. # 3628) 4th International Workshop, SC 2005, Edinburgh, UK, April 9, 2005, Revised Selected Papers
по: Assmann, Uwe
Публикация: (2005)

Tools and Algorithms for the Construction and Analysis of Systems 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings /
Публикация: (2013)

Software Composition 6th International Symposium, SC 2007, Braga, Portugal, March 24-25, 2007, Revised Selected Papers /
по: Lumpe, Markus
Публикация: (2007)