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

Cover Image

1

Software Engineering and Formal Methods : 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings

Published 2014

Springer International Publishing

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

Cover Image

2

Verified Software: Theories, Tools and Experiments : 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers

Published 2014

Springer International Publishing

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

Cover Image

3

FM 2012: Formal Methods : 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings

Published 2012

Springer Berlin Heidelberg

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

Cover Image

4

NASA Formal Methods : 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, Proceedings

Published 2020

Springer International Publishing

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