Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
Component-Based Software Engineering: 7th International Symposium, CBSE 2004, Edinburgh, UK, May 24-25, 2004, ProceedingsCrnkovic, Ivica ; Stafford, Judith A ; Schmidt, Heinz W ; Wallnau, Kurt Wallnau, Kurt ; Stafford, Judith A. ; Crnkovic, Ivica ; Schmidt, Heinz W.Berlin, Heidelberg: Springer Berlin / Heidelberg 2004Texto completo disponível |
2 |
Material Type: Livro
|
![]() |
Component Deployment: IFIP/ACM Working Conference, CD 2002, Berlin, Germany, June 20-21, 2002, ProceedingsBishop, Judith Bishop, JudithBerlin, Heidelberg: Springer Berlin / Heidelberg 2002Texto completo disponível |
3 |
Material Type: Livro
|
![]() |
Component Deployment: Second International Working Conference, CD 2004, Edinburgh, UK, May 20-21, 2004, ProceedingsEmmerich, Wolfgang ; Wolf, Alexander L Wolf, Alexander L. ; Emmerich, WolfgangBerlin, Heidelberg: Springer Berlin / Heidelberg 2004Texto completo disponível |
4 |
Material Type: Livro
|
![]() |
Formal Aspects of Component Software: 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected PapersFiadeiro, José Luiz ; Liu, Zhiming ; Xue, Jinyun Fiadeiro, Jos' Luiz ; Liu, Zhiming ; Xue, JinyunNetherlands: Springer Nature 2014Texto completo disponível |
5 |
Material Type: Livro
|
![]() |
Formal Aspects of Component Software: 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected PapersLanese, Ivan ; Madelaine, Eric Lanese, Ivan ; Madelaine, EricCham: Springer Nature 2015Texto completo disponível |
6 |
Material Type: Livro
|
![]() |
Formal Aspects of Component Software: 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected PapersArbab, Farhad ; Ölveczky, Peter Csaba Arbab, Farhad ; lveczky, Peter CsabaNetherlands: Springer Nature 2012Texto completo disponível |
7 |
Material Type: Livro
|
![]() |
Formal Aspects of Component Software: 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected PapersBarbosa, Luis Soares ; Lumpe, Markus Lumpe, Markus ; Barbosa, Luis SoaresNetherlands: Springer Nature 2012Texto completo disponível |
8 |
Material Type: Livro
|
![]() |
Formal aspects of component software: 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012 : revised selected papersPasareanu, Corina S ; Salaun, GwenSpringer 2013Texto completo disponível |
9 |
Material Type: Livro
|
![]() |
Formal Methods for Components and Objects: 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected PapersBeckert, Bernhard ; Damiani, Ferruccio ; de Boer, Frank S ; Bonsangue, Marcello M de Boer, Frank S ; Bonsangue, Marcello M ; Damiani, Ferruccio ; Beckert, BernhardNetherlands: Springer Nature 2013Texto completo disponível |
10 |
Material Type: Livro
|
![]() |
Formal Methods for Components and Objects: Second International Symposium, FMCO 2003, Leiden, the Netherlands, November 4-7, 2003. Revised LecturesBoer, Frank S. de ; Bonsangue, Marcello M ; Graf, Susanne ; de Roever, Willem-Paul de Roever, Willem-Paul ; Bonsangue, Marcello M. ; Graf, Susanne ; de Boer, Frank S.Berlin, Heidelberg: Springer Berlin / Heidelberg 2004Texto completo disponível |