Formal Methods for Components and Objects - 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers

Författare
Bernhard. Beckert
(Edited by Bernhard Beckert, Ferruccio Damiani, Frank S. Boer, Marcello M. Bonsangue.)
Språk
Engelska
Förlag År Ort Om boken ISBN
Springer Berlin Heidelberg, Imprint: Springer 2013 Tyskland, Berlin, Heidelberg X, 356 sidor. 129 illus. digital. 978-3-642-35887-6