|
|
1.
|
Leveraging Applications of Formal Methods, Verification and Validation Электронный ресурс Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings / edited by Tiziana Margaria, Bernhard Steffen. by Margaria, Tiziana | Steffen, Bernhard | SpringerLink (Online service). Series: Communications in Computer and Information ScienceSource: Springer eBooksMaterial type:  Computer file; Format:
electronic
available online
 Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available :
|
|
|
2.
|
|
|
|
3.
|
Software Engineering for Self-Adaptive Systems II [electronic resource] : International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers / edited by Rogério Lemos, Holger Giese, Hausi A. Müller, Mary Shaw. by Lemos, Rogério [editor.] | Giese, Holger [editor.] | Müller, Hausi A [editor.] | Shaw, Mary [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type:  Text; Format:
electronic
available online
; Literary form:
Not fiction
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available :
|
|
|
4.
|
A Software Process Model Handbook for Incorporating People's Capabilities Электронный ресурс by Silvia Teresita Acuna, Natalia Juristo, Ana Maria Moreno, Alicia Mon. by Acuna, Silvia T | Juristo, Natalia | Mon, Alicia | Moreno, Ana María | SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Boston, MA : Springer Science+Business Media, Inc., 2005Online access: Click here to access online Availability: No items available :
|
