MPG.eBooks - Search Results - "Engineering"

Cover Image

1

Tools and Algorithms for the Construction and Analysis of Systems : Third International Workshop, TACAS'97, Enschede, The Netherlands, April 2-4, 1997, Proceedings

by Brinksma, Ed
Published 1997

Springer Berlin Heidelberg

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

Cover Image

2

Lectures on Formal Methods and PerformanceAnalysis : First EEFEuro Summer School on Trends in Computer Science Bergen Dal, The Netherlands, July 3–7, 2000 Revised Lectures

by Brinksma, Ed
Published 2001

Springer-Verlag Berlin Heidelberg

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

Cover Image

3

Computer Aided Verification : 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27–31, 2002 Proceedings

by Brinksma, Ed
Published 2002

Springer-Verlag Berlin Heidelberg

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