MPG.eBooks - Search Results - "Engineering"

Cover Image

1

Formal Methods : An Appetizer

by Nielson, Flemming, Riis Nielson, Hanne
Published 2019

Springer International Publishing

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

Cover Image

2

Static Analysis : 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007, Proceedings

Published 2007

Springer Berlin Heidelberg

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

Cover Image

3

Coordination Models and Languages : 21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computi...

Published 2019

Springer International Publishing

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