MPG.eBooks - Search Results - "Engineering"

Cover Image

1

Applied Formal Methods - FM-Trends 98 : International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998, Proceedings

by Hutter, Dieter
Published 1999

Springer Berlin Heidelberg

Subjects: “...Software engineering...”

Cover Image

2

Security in Pervasive Computing : First International Conference, Boppard, Germany, March 12-14, 2003, Revised Papers

by Hutter, Dieter
Published 2004

Springer Berlin Heidelberg

Subjects: “...Software engineering...”