Formal Methods for Components and Objects: 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010 (Lecture Notes in … / Programming and Software Engineering by Bernhard K. Aichernig, Frank S. de Boer and Marcello M. Bonsangue
English | ISBN: 3642252702 | 2012 | 400 pages | PDF | 6,3 MB