Search Results for Meyer, Bertrand.

1.

Touch of Class Learning to Program Well with Objects and Contracts

by

Meyer, Bertrand. author.

https://doi.org/10.1007/978-3-540-92145-5

Format:

Excerpt:

Touch of Class Learning to Program Well with Objects and Contracts / Meyer, Bertrand. author.

2.

Cover image for 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

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

by

Meyer, Bertrand. editor.

https://doi.org/10.1007/978-3-540-85279-7

Format:

Excerpt:

Selected Papers / Meyer, Bertrand. editor.

3.

Cover image for 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

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

by

Meyer, Bertrand. editor.

https://doi.org/10.1007/978-3-540-69149-5

Format:

Excerpt:

, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions / Meyer, Bertrand

4.

Tests and Proofs First International Conference, TAP 2007 Zurich, Switzerland, February 12-13, 2007 Revised Papers

by

Meyer, Bertrand. editor.

https://doi.org/10.1007/978-3-540-73770-4

Format:

Excerpt:

, 2007 Revised Papers / Meyer, Bertrand. editor.

5.

Cover image for Software Engineering Approaches for Offshore and Outsourced Development First International Conference, SEAFOOD 2007, Zurich, Switzerland, February 5-6, 2007, Revised Papers

Software Engineering Approaches for Offshore and Outsourced Development First International Conference, SEAFOOD 2007, Zurich, Switzerland, February 5-6, 2007, Revised Papers

by

Meyer, Bertrand. editor.

https://doi.org/10.1007/978-3-540-75542-5

Format:

Excerpt:

Conference, SEAFOOD 2007, Zurich, Switzerland, February 5-6, 2007, Revised Papers / Meyer, Bertrand. editor.

6.

Agile! The Good, the Hype and the Ugly

by

Meyer, Bertrand. author. (orcid)0000-0002-5985-7434

https://doi.org/10.1007/978-3-319-05155-0

Format:

Excerpt:

Agile! The Good, the Hype and the Ugly / Meyer, Bertrand. author. (orcid)0000-0002-5985-7434

7.

Cover image for Empirical Software Engineering and Verification International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures

Empirical Software Engineering and Verification International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures

by

Meyer, Bertrand. editor. (orcid)0000-0002-5985-7434

https://doi.org/10.1007/978-3-642-25231-0

Format:

Excerpt:

Island, Italy, Revised Tutorial Lectures / Meyer, Bertrand. editor. (orcid)0000-0002-5985-7434

8.

Cover image for Tools for Practical Software Verification International Summer School, LASER 2011, Elba Island, Italy, Revised Tutorial Lectures

Tools for Practical Software Verification International Summer School, LASER 2011, Elba Island, Italy, Revised Tutorial Lectures

by

Meyer, Bertrand. editor. (orcid)0000-0002-5985-7434

https://doi.org/10.1007/978-3-642-35746-6

Format:

Excerpt:

, Italy, Revised Tutorial Lectures / Meyer, Bertrand. editor. (orcid)0000-0002-5985-7434

9.

Cover image for Objects, Components, Models and Patterns 47th International Conference, TOOLS EUROPE 2009, Zurich, Switzerland, June 29-July 3, 2009, Proceedings

Objects, Components, Models and Patterns 47th International Conference, TOOLS EUROPE 2009, Zurich, Switzerland, June 29-July 3, 2009, Proceedings

by

Oriol, Manuel. editor.

https://doi.org/10.1007/978-3-642-02571-6

Format:

Excerpt:

Meyer, Bertrand. editor.

10.

Cover image for Objects, Components, Models and Patterns 46th International Conference, TOOLS EUROPE 2008, Zurich, Switzerland, June 30-July 4, 2008, Proceedings

Objects, Components, Models and Patterns 46th International Conference, TOOLS EUROPE 2008, Zurich, Switzerland, June 30-July 4, 2008, Proceedings

by

Paige, Richard F. editor.

https://doi.org/10.1007/978-3-540-69824-1

Format:

Excerpt:

Meyer, Bertrand. editor.

11.

Cover image for Software Engineering Techniques Third IFIP TC 2 Central and East-European Conference, CEE-SET 2008, Brno, Czech Republic, October 13-15, 2008, Revised Selected Papers

Software Engineering Techniques Third IFIP TC 2 Central and East-European Conference, CEE-SET 2008, Brno, Czech Republic, October 13-15, 2008, Revised Selected Papers

by

Huzar, Zbigniev. editor.

https://doi.org/10.1007/978-3-642-22386-0

Format:

Excerpt:

Meyer, Bertrand. editor.

12.

Cover image for Software Engineering Approaches for Offshore and Outsourced Development 4th International Conference, SEAFOOD 2010, St. Petersburg, Russia, June 17-18, 2010, Proceedings

Software Engineering Approaches for Offshore and Outsourced Development 4th International Conference, SEAFOOD 2010, St. Petersburg, Russia, June 17-18, 2010, Proceedings

by

Nordio, Martin. editor.

https://doi.org/10.1007/978-3-642-13784-6

Format:

Excerpt:

Meyer, Bertrand. editor.

13.

Cover image for Software Engineering Approaches for Offshore and Outsourced Development Second International Conference, SEAFOOD 2008, Zurich, Switzerland, July 2-3, 2008, Revised Papers

Software Engineering Approaches for Offshore and Outsourced Development Second International Conference, SEAFOOD 2008, Zurich, Switzerland, July 2-3, 2008, Revised Papers

by

Berkling, Kay. editor.

https://doi.org/10.1007/978-3-642-01856-5

Format:

Excerpt:

Meyer, Bertrand. editor.

14.

Cover image for Software Engineering Approaches for Offshore and Outsourced Development Third International Conference, SEAFOOD 2009, Zurich, Switzerland, July 2-3, 2009, Proceedings

Software Engineering Approaches for Offshore and Outsourced Development Third International Conference, SEAFOOD 2009, Zurich, Switzerland, July 2-3, 2009, Proceedings

by

Gotel, Olly. editor.

https://doi.org/10.1007/978-3-642-02987-5

Format:

Excerpt:

Meyer, Bertrand. editor.

15.

Dependable Systems: Software, Computing, Networks Research Results of the DICS Program

by

Kohlas, Juerg. editor.

https://doi.org/10.1007/11808107

Format:

Excerpt:

Meyer, Bertrand. editor.

16.

Linguistic Identity Matching

by

Lisbach, Bertrand. author.

https://doi.org/10.1007/978-3-8348-2095-2

Format:

Excerpt:

Linguistic Identity Matching Lisbach, Bertrand. author.

17.

Topics in Algebraic and Topological K-Theory

by

Baum, Paul Frank. author.

https://doi.org/10.1007/978-3-642-15708-0

Format:

Excerpt:

Toën, Bertrand. author.

	{displayName}	{count}
{error}