MPG.eBooks - Search Results - %22Italy%22

Cover Image

1

Formal Methods for Software Architectures : Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, SFM...

Published 2003

Springer Berlin Heidelberg

“..., Communication and Software Systems, SFM 2003, held in Bertinoro, Italy, in September 2003. The book is ideally...”

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

“..., held in Bertinoro, Italy, in June 2013. SFM 2013 was devoted to dynamical systems and covered several...”