Software composition 9th international conference, SC 2010, Malaga, Spain, July 1-2, 2010. Proceedings /

Software composition 9th international conference, SC 2010, Malaga, Spain, July 1-2, 2010. Proceedings /

Guardado en:

Detalles Bibliográficos
Autor Corporativo:	SpringerLink (Online service)
Otros Autores:	Baudry, Benoit, Wohlstadter, Eric
Formato:	eBook
Lenguaje:	English
Publicado:	Berlin, Heidelberg Springer 2010.
Colección:	Lecture Notes in Computer Science, 6144
Materias:	Logic design Software engineering Computer Communication Networks Computer science
Acceso en línea:	Click here to view the full text content
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Software composition 8th International Conference, SC 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings /
Publicado: (2009)

Software composition : 11th International Conference, SC 2012, Prague, Czech Republic, May 31 - June 1, 2012. Proceedings /
Publicado: (2012)

Objects, models, components, patterns 48th international conference, TOOLS 2010, Malaga, Spain, June / July 2010. Proceedings /
Publicado: (2010)

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

Theory and practice of model transformations third international conference, ICMT 2010, Malaga, Spain, June 28-July 2, 2010. Proceedings /
Publicado: (2010)

Tests and proofs 4th international conference, TAP 2010, Malaga, Spain, July 1-2, 2010. Proceedings /
por: Fraser, Gordon
Publicado: (2010)

Software composition : 6th International Symposium, SC 2007, Braga, Portugal, March 24-25, 2007, Revised Selected Papers /
Publicado: (2007)

New modeling concepts for today's software processes international conference on software process, ICSP 2010, Paderborn, Germany, July 8-9, 2010. Proceedings /
Publicado: (2010)

Software composition : 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013. Proceedings /
Publicado: (2013)

Reliable software technologies - ada-europe 2010 15th ada-europe international conference on reliable software technologies, Valencia, Spain, June 14-18, 2010. Proceedings /
Publicado: (2010)

Software architecture 4th european conference, ECSA 2010, Copenhagen, Denmark, August 23-26, 2010. Proceedings /
Publicado: (2010)

Formal aspects of component software 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers /
Publicado: (2012)

Software engineering and formal methods : 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings /
Publicado: (2013)

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)

Theoretical computer science 6th IFIP TC 1/WG 2.2 international conference, TCS 2010, held as part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings /
Publicado: (2010)

Software engineering and formal methods : 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings /
Publicado: (2014)

Software architecture : 7th European Conference, ECSA 2013, Montpellier, France, July 1-5, 2013. Proceedings /
Publicado: (2013)

Automated technology for verification and analysis 8th international symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings /
Publicado: (2010)

Testing practice and research techniques 5th international academic and industrial conference, TAIC PART 2010, Windsor, UK, September 3-5, 2010. Proceedings /
Publicado: (2010)

Testing software and systems 22nd IFIP WG 6.1 international conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. proceedings /
Publicado: (2010)

Reliable software technologies - Ada-Europe 2012 : 17th Ada-Europe International Conference on Reliable Software Technologies, Stockholm, Sweden, June 11-15, 2012. Proceedings /
Publicado: (2012)

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)

Evolvable systems: from biology to hardware 9th international conference, ICES 2010, York, UK, September 6-8, 2010. Proceedings /
Publicado: (2010)

Computer aided verification 22nd international conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings /
Publicado: (2010)

Advances in software engineering techniques : 4th IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2009, Krakow, Poland, October 12-14, 2009. Revised Selected Papers /
Publicado: (2012)

Evaluation of novel approaches to software engineering 3rd and 4th international conferences, ENASE 2008/2009, Funchal, Madeira, Portugal, May 4-7, 2008 / Milan, Italy, May 9-10, 2009. revised selected papers /
Publicado: (2010)

Theory and applications of satisfiability testing - SAT 2010 13th international conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings /
Publicado: (2010)

Model checking software 17th international SPIN workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings /
Publicado: (2010)

Verification, model checking, and abstract interpretation : 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings /
Publicado: (2010)

Software engineering and formal methods 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings /
Publicado: (2012)

ECOOP 2013 - object-oriented programming : 27th European Conference, Montpellier, France, July 1-5, 2013. Proceedings /
Publicado: (2013)

Tools and algorithms for the construction and analysis of systems 16th international conference, TACAS 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)

Hybrid metaheuristics 7th international workshop, HM 2010, Vienna, Austria, October 1-2, 2010. Proceedings /
Publicado: (2010)

Software service and application engineering : Essays dedicated to bernd krämer on the occasion of his 65th birthday /
Publicado: (2012)

Model checking software : 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings /
Publicado: (2013)

Research into practice - reality and gaps 6th international conference on the quality of software architectures, QoSA 2010, Prague, Czech Republic, June 23 - 25, 2010. Proceedings /
Publicado: (2010)

Data engineering and management : Second International Conference, ICDEM 2010, Tiruchirappalli, India, July 29-31, 2010. Revised Selected Papers /
Publicado: (2012)

Software architecture : 8th European Conference, ECSA 2014, Vienna, Austria, August 25-29, 2014. Proceedings /
Publicado: (2014)

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)

Practical aspects of declarative languages : 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010. Proceedings /
Publicado: (2010)