MPG.eBooks - Search Results - "Engineering"

Cover Image

1

Tools and Algorithms for the Construction and Analysis of Systems : 4th International Conference, TACAS'98, Held as Part of the Joint European Conferences on Theory and Practice of...

by Steffen, Bernhard
Published 1998

Springer Berlin Heidelberg

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

Cover Image

2

Services and Visualization: Towards User-Friendly Design : ACos'98, VISUAL'98, AIN'97, Selected Papers

by Margaria, Tiziana
Published 1998

Springer Berlin Heidelberg

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

Cover Image

3

Verification, Model Checking, and Abstract Interpretation : 5th International Conference, VMCAI 2004, Venice, January 11-13, 2004, Proceedings

by Steffen, Bernhard
Published 2004

Springer Berlin Heidelberg

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

Cover Image

4

Correct System Design : Recent Insights and Advances

by Olderog, Ernst-Rüdiger
Published 1999

Springer-Verlag Berlin Heidelberg

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