Formal Methods for Components and Objects - 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers

Författare
Bernhard K. Aichernig
(Edited by Bernhard K. Aichernig, Frank S. Boer, Marcello M. Bonsangue.)
Språk
Engelska
Förlag År Ort Om boken ISBN
Springer Berlin Heidelberg 2012 Tyskland, Berlin, Heidelberg 978-3-642-25271-6