MPG.eBooks - Search Results - "Software Engineer"

Search alternatives:
software engineer » software engineers , software engineering , software reengineering

Cover Image

1

Dependable Software Engineering. Theories, Tools, and Applications...

Published 2019

Springer International Publishing

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

Cover Image

2

Model-Based Testing of Reactive Systems : Advanced Lectures

Published 2005

Springer Berlin Heidelberg

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

Cover Image

3

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

Published 2002

Springer Berlin Heidelberg

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

Cover Image

4

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

by Katoen, Joost-Pieter
Published 2002

Springer-Verlag Berlin Heidelberg

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

Cover Image

5

Formal Methods for Real-Time and Probabilistic Systems : 5th International AMAST Workshop, ARTS’99 Bamberg, Germany, May 26–28, 1999 Proceedings

by Katoen, Joost-Pieter
Published 1999

Springer-Verlag Berlin Heidelberg

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

Cover Image

6

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

7

Validation of Stochastic Systems : A Guide to Current Research

Published 2004

Springer Berlin Heidelberg

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

Cover Image

8

Validation of Stochastic Systems : A Guide to Current Research

by Baier, Christel
Published 2004

Springer Berlin Heidelberg

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

Cover Image

9

ModelEd, TestEd, TrustEd : Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday

Published 2017

Springer International Publishing

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

Cover Image

10

Lectures on Formal Methods and Performance Analysis : First EEF/Euro Summer School on Trends in Computer Science Berg en Dal, The Netherlands, July 3-7, 2000. Revised Lectures

Published 2001

Springer Berlin Heidelberg

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

Cover Image

11

CONCUR 2011 -- Concurrency Theory : 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011, Proceedings

Published 2011

Springer Berlin Heidelberg

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

Cover Image

12

Formal Methods : 25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings

Published 2023

Springer International Publishing

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