Cover Image
Read Now

1
Published 2007
Springer Berlin Heidelberg
“... Conference on Test and Proofs, TAP 2007, held in Zurich, Switzerland in February 2007. The 12 revised full...”
Cover Image
Read Now

3
Published 2009
Springer Berlin Heidelberg
“... on Objects, Components, Models and Patterns, TOOLS EUROPE 2009, held in Zurich, Switzerland, in June/July...”
Cover Image
Read Now

4
Published 2008
Springer Berlin Heidelberg
“... on Objects, Components, Models and Patterns, TOOLS EUROPE 2008, held in Zurich, Switzerland, in June/July...”
Cover Image
Read Now

7
Published 2008
Springer Berlin Heidelberg
“... on Verified Software: Theories, Tools, Experiments, VSTTE 2005, held in Zurich, Switzerland, in October 2005...”
Cover Image
Read Now

8
Published 2017
Springer International Publishing
“... Engineering at ETH Zurich. In this inspiring context, some of the greatest minds in the field extensively...”
Cover Image
Read Now

9
by Meyer, Bertrand
Published 2009
Springer Berlin Heidelberg
“...From object technology pioneer, Design by Contract inventor and ETH Zurich professor Bertrand Meyer...”