MPG.eBooks - Search Results - "Programming and Software Engineering"

Cover Image

1

Formal Methods for Components and Objects : 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers

Published 2013

Springer Berlin Heidelberg

“...Programming and Software Engineering...”

Cover Image

2

Formal Methods for Executable Software Models : 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, It...

Published 2014

Springer International Publishing

“...Programming and Software Engineering...”

Cover Image

3

Coordination Models and Languages : 23rd IFIP WG 6.1 International Conference, COORDINATION 2021, Held as Part of the 16th International Federated Conference on Distributed Computi...

Published 2021

Springer International Publishing

“...Programming and Software Engineering...”

Cover Image

4

Formal Verification of Object-Oriented Software : International Conference, FoVeOO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers

Published 2012

Springer Berlin Heidelberg

“...Programming and Software Engineering...”