Software Engineering

International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial Lectures

Produktform: Buch / Einband - flex.(Paperback)

Tools for Practical Software Verification

International Summer School, LASER 2011, Elba Island, Italy, Revised Tutorial Lectures

Produktform: Buch / Einband - flex.(Paperback)

Present and Ulterior Software Engineering

Produktform: Buch / Einband - fest (Hardcover)

Present and Ulterior Software Engineering

Produktform: Buch / Einband - flex.(Paperback)

Objects, Components, Models and Patterns

46th International Conference, TOOLS EUROPE 2008, Zurich, Switzerland, June 30-July 4, 2008, Proceedings

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Objects, Components, Models and Patterns

46th International Conference, TOOLS EUROPE 2008, Zurich, Switzerland, June 30-July 4, 2008, Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Dependable Systems: Software, Computing, Networks

Research Results of the DICS Program

Produktform: E-Buch Text Elektronisches Buch in proprietärem

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

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Software Engineering Approaches for Offshore and Outsourced Development

Third International Conference, SEAFOOD 2009, Zurich, Switzerland, July 2-3, 2009, Proceedings

Produktform: E-Buch Text Elektronisches Buch in proprietärem

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

Produktform: Buch / Einband - flex.(Paperback)