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

Cover Image

1

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems : 16th International School on Formal Methods for the Design of Computer, Communication, and Software...

Published 2016

Springer International Publishing

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

Cover Image

2

Formal Methods for Dynamical Systems : 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June...

Published 2013

Springer Berlin Heidelberg

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

Cover Image

3

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

4

Formal Methods for Multicore Programming : 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy,...

Published 2015

Springer International Publishing

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

Cover Image

5

Formal Methods for Eternal Networked Software Systems : 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertin...

Published 2011

Springer Berlin Heidelberg

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

Cover Image

6

Formal Methods for Web Services : 9th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2...

Published 2009

Springer Berlin Heidelberg

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

Cover Image

7

Formal Methods for Quantitative Aspects of Programming Languages : 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2...

Published 2010

Springer Berlin Heidelberg

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

Cover Image

8

Formal Methods for Hardware Verification : 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, M...

Published 2006

Springer Berlin Heidelberg

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

Cover Image

9

Formal Methods for Computational Systems Biology : 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, I...

Published 2008

Springer Berlin Heidelberg

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

Cover Image

10

Formal Methods for Model-Driven Engineering : 12th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2012, Bertinoro, Italy...

Published 2012

Springer Berlin Heidelberg

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

Cover Image

11

Formal Methods for Mobile Computing : 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, A...

Published 2005

Springer Berlin Heidelberg

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

Cover Image

12

Formal Methods for Performance Evaluation : 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy,...

Published 2007

Springer Berlin Heidelberg

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

Cover Image

13

Computer Performance Engineering : 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010, Proceedings

Published 2010

Springer Berlin Heidelberg

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