|
1.
|
Software Process Improvement [electronic resource] : 14th European Conference, EuroSPI 2007, Potsdam, Germany, September 26-28, 2007. Proceedings / edited by Pekka Abrahamsson, Nathan Baddoo, Tiziana Margaria, Richard Messnarz. by Abrahamsson, Pekka | Baddoo, Nathan | Margaria, Tiziana | Messnarz, Richard | SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format:
electronic
Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.76.D47 A27 2007 (1).
|
|
2.
|
Service-Oriented Computing – ICSOC 2008 [electronic resource] : 6th International Conference, Sydney, Australia, December 1-5, 2008. Proceedings / edited by Athman Bouguettaya, Ingolf Krueger, Tiziana Margaria. by Bouguettaya, Athman | Krueger, Ingolf | Margaria, Tiziana | SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format:
electronic
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.9.D5 B68 2008 (1).
|
|
3.
|
Leveraging Applications of Formal Methods [electronic resource] : First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November2, 2004, Revised Selected Papers / edited by Tiziana Margaria, Bernhard Steffen. by Margaria, Tiziana | Steffen, Bernhard | SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format:
electronic
Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.9.F67 M37 2006 (1).
|