9783642214547 - formal methods for eternal networked software systems: 11th international school on formal methods for the design of computer, communication and ... notes in computer science, 6659, band 6659) (1 Ergebnisse)

Formal Methods for Eternal Networked Software Systems : 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011, Advanced Lectures