1. |
|
|
|
2. |
|
|
|
3. |
|
|
|
4. |
|
|
|
5. |
|
- Meyer, Bertrand. (författare)
-
Verified Software: Theories, Tools, Experiments [electronic resource] 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.
- 2008
- E-bok
|
|
6. |
|
- Aalst, Will. (författare)
-
Objects, Components, Models and Patterns [electronic resource] 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.
- 2008
- E-bok
|
|
7. |
|
- Hutchison, David. (författare)
-
Balancing Agility and Formalism in Software Engineering [Elektronisk resurs] 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.
- 2008
- E-bok
|
|
8. |
|
|
|
9. |
|
|
|
10. |
|
|
|