|
|
1.
|
Software Engineering Approaches for Offshore and Outsourced Development Электронный ресурс First International Conference, SEAFOOD 2007, Zurich, Switzerland, February 5-6, 2007. Revised Papers / edited by Bertrand Meyer, Mathai Joseph. by Meyer, Bertrand | Joseph, Mathai | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type:  Computer file; Format:
electronic
available online
 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available :
|
|
|
2.
|
Verified Software: Theories, Tools, Experiments Электронный ресурс First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions / edited by Bertrand Meyer, Jim Woodcock. by Meyer, Bertrand | Woodcock, Jim | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available :
|
|
|
3.
|
Balancing Agility and Formalism in Software Engineering Электронный ресурс Second IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2007, Poznan, Poland, October 10-12, 2007, Revised Selected Papers / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Bertrand Meyer, Jerzy R. Nawrocki, Bartosz Walter. by Hutchison, David | Kanade, Takeo | Kittler, Josef | Kleinberg, Jon M | Mattern, Friedemann | Meyer, Bertrand | Mitchell, John C | Naor, Moni | Nawrocki, Jerzy R | Nierstrasz, Oscar | Pandu Rangan, C | Steffen, Bernhard | Sudan, Madhu | Terzopoulos, Demetri | Tygar, Doug | Vardi, Moshe Y | Walter, Bartosz | Weikum, Gerhard | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available :
|
|
|
4.
|
|
|
|
5.
|
Tests and Proofs Электронный ресурс First International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised Papers / edited by Yuri Gurevich, Bertrand Meyer. by Gurevich, Yuri | Meyer, Bertrand | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available :
|
|
|
6.
|
Objects, Components, Models and Patterns Электронный ресурс 46th International Conference, TOOLS EUROPE 2008, Zurich, Switzerland, June 30 - July 4, 2008. Proceedings / edited by Will Aalst, John Mylopoulos, Norman M. Sadeh, Michael J. Shaw, Clemens Szyperski, Richard F. Paige, Bertrand Meyer. by Aalst, Will | Meyer, Bertrand | Mylopoulos, John | Paige, Richard F | Sadeh, Norman M | Shaw, Michael J | Szyperski, Clemens | SpringerLink (Online service). Series: Lecture Notes in Business Information ProcessingSource: Springer eBooksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available :
|
|
|
7.
|
|
|
|
8.
|
|
