Your search returned 12 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Tests and proofs : first international conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007 : revised papers / Yuri Gurevich, Bertrand Meyer (eds.). by Series: Lecture notes in computer science ; 4454. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher number:
  • 12095476
Publication details: Berlin ; New York : Springer, ©2007
Other title:
  • TAP 2007
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
2.
Software engineering approaches for offshore and outsourced development : first international conference, SEAFOOD 2007, Zurich, Switzerland, February 5-6, 2007 : revised papers / Bertrand Meyer, Mathai Joseph (eds.). by Series: Lecture notes in computer science ; 4716. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher number:
  • 12171392
Publication details: Berlin ; New York : Springer, ©2007
Other title:
  • SEAFOOD 2007
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
3.
Dependable systems : software, computing, networks : research results of the DICS program / Jürg Kohlas, Bertrand Meyer, André Schiper (eds.). by Series: LNCS sublibrary. SL 2, Programming and software engineering. | Lecture notes in computer science ; 4028. | Lecture notes in computer science. State-of-the-art survey.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2006
Other title:
  • DICS
  • Dependable information and communications systems
In: Springer e-books
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
4.
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 / [eds. Bertrand Meyer, Jim Woodcock]. by Series: LNCS sublibrary. SL 2, Programming and software engineering. | Lecture notes in computer science ; 4171.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2008
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
5.
6.
Empirical software engineering and verification : International Summer Schools, LASER 2008-2010, Elba Island, Italy : revised tutorial lectures / Bertrand Meyer, Martin Nordio (eds.). by Series: Lecture notes in computer science ; 7007. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2011
Other title:
  • LASER 2008-2010
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
7.
Tools for practical software verification : LASER, International Summer School 2011, Elba Island, Italy, revised tutorial lectures / Bertrand Meyer, Martin Nordio (eds.). by Series: Lecture notes in computer science ; 7682. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2012
Other title:
  • LASER, International Summer School 2011
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
8.
9.
10.
11.
12.
Pages

Powered by Koha