|
|
1.
|
Dependable Systems: Software, Computing, Networks [electronic resource] : Research Results of the DICS Program / edited by Jürg Kohlas, Bertrand Meyer, André Schiper.
by Kohlas, Jürg | Meyer, Bertrand | Schiper, André | SpringerLink (Online service). Source: Springer eBooksMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
|
|
|
2.
|
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.
by Meyer, Bertrand | Woodcock, Jim | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
|
|
|
3.
|
Objects, Components, Models and Patterns [electronic resource] : 46th International Conference, TOOLS EUROPE 2008, Zurich, Switzerland, June 30 - July 4, 2008. Proceedings / edited by Richard F. Paige, Bertrand Meyer.
by Paige, Richard F | Meyer, Bertrand | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
|
|
|
4.
|
Tests and Proofs [electronic resource] : 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). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available
|
|
|
5.
|
Software Engineering Approaches for Offshore and Outsourced Development [electronic resource] : 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). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available
|
|
|
6.
|
Balancing Agility and Formalism in Software Engineering [electronic resource] : 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 Bertrand Meyer, Jerzy R. Nawrocki, Bartosz Walter.
by Meyer, Bertrand | Nawrocki, Jerzy R | Walter, Bartosz | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
|
|
|
7.
|
Touch of Class [electronic resource] : Learning to Program Well with Objects and Contracts / by Bertrand Meyer.
by Meyer, Bertrand | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
|
|
|
8.
|
Software Engineering Approaches for Offshore and Outsourced Development [electronic resource] : Second International Conference, SEAFOOD 2008, Zurich, Switzerland, July 2-3, 2008. Revised Papers / edited by Kay Berkling, Mathai Joseph, Bertrand Meyer, Martin Nordio.
by Berkling, Kay | Joseph, Mathai | Meyer, Bertrand | Nordio, Martin | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
|
|
|
9.
|
Objects, Components, Models and Patterns [electronic resource] : 47th International Conference, TOOLS EUROPE 2009, Zurich, Switzerland, June 29-July 3, 2009. Proceedings / edited by Manuel Oriol, Bertrand Meyer.
by Oriol, Manuel | Meyer, Bertrand | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
|
|
|
10.
|
Software Engineering Approaches for Offshore and Outsourced Development [electronic resource] : Third International Conference, SEAFOOD 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings / edited by Olly Gotel, Mathai Joseph, Bertrand Meyer.
by Gotel, Olly | Joseph, Mathai | Meyer, Bertrand | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
|
|
|
11.
|
Software Engineering Approaches for Offshore and Outsourced Development [electronic resource] : 4th International Conference, SEAFOOD 2010, St. Petersburg, Russia, June 17-18, 2010. Proceedings / edited by Martin Nordio, Mathai Joseph, Bertrand Meyer, Andrey Terekhov.
by Nordio, Martin | Joseph, Mathai | Meyer, Bertrand | Terekhov, Andrey | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
12.
|
Software Engineering Techniques [electronic resource] : Third IFIP TC 2 Central and East European Conference, CEE-SET 2008, Brno, Czech Republic, October 13-15, 2008, Revised Selected Papers / edited by Zbigniew Huzar, Radek Koci, Bertrand Meyer, Bartosz Walter, Jaroslav Zendulka.
by Huzar, Zbigniew | Koci, Radek | Meyer, Bertrand | Walter, Bartosz | Zendulka, Jaroslav | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
13.
|
Empirical Software Engineering and Verification [electronic resource] : International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures / edited by Bertrand Meyer, Martin Nordio.
by Meyer, Bertrand [editor.] | Nordio, Martin [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: No items available
|
|
|
14.
|
Tools for Practical Software Verification [electronic resource] : LASER, International Summer School 2011, Elba Island, Italy, Revised Tutorial Lectures / edited by Bertrand Meyer, Martin Nordio.
by Meyer, Bertrand [editor.] | Nordio, Martin [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
15.
|
Software Engineering Techniques [electronic resource] : Third IFIP TC 2 Central and East European Conference, CEE-SET 2008, Brno, Czech Republic, October 13-15, 2008, Revised Selected Papers / edited by Zbigniew Huzar, Radek Koci, Bertrand Meyer, Bartosz Walter, Jaroslav Zendulka.
by Huzar, Zbigniew [editor.] | Koci, Radek [editor.] | Meyer, Bertrand [editor.] | Walter, Bartosz [editor.] | Zendulka, Jaroslav [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
16.
|
Software Engineering Approaches for Offshore and Outsourced Development [electronic resource] : 4th International Conference, SEAFOOD 2010, St. Petersburg, Russia, June 17-18, 2010. Proceedings / edited by Martin Nordio, Mathai Joseph, Bertrand Meyer, Andrey Terekhov.
by Nordio, Martin [editor.] | Joseph, Mathai [editor.] | Meyer, Bertrand [editor.] | Terekhov, Andrey [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
