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
Springer Berlin Heidelberg, Imprint: Springer 2013 Tyskland, Berlin, Heidelberg X, 241 sidor. 125 illus. online resource. 978-3-642-40615-7
Springer Berlin Heidelberg 2012 Tyskland, Berlin, Heidelberg 978-3-642-25271-6
Springer Berlin Heidelberg 2010 Tyskland, Berlin, Heidelberg 978-3-642-17071-3
Springer Berlin Heidelberg 2009 Tyskland, Berlin, Heidelberg 978-3-642-04167-9
Springer Berlin Heidelberg 2008 Tyskland, Berlin, Heidelberg 978-3-540-92188-2
Springer Berlin Heidelberg 2007 Tyskland, Berlin, Heidelberg 978-3-540-74792-5
Springer Berlin Heidelberg 2005 Tyskland, Berlin, Heidelberg 978-3-540-31939-9
Springer-Verlag 2003 Tyskland, Berlin, New York p. cm.
Springer Berlin / Heidelberg Utgivningsland okänt / Ej specificerat v.: digital
Springer-Verlag Berlin Heidelberg 2007 Utgivningsland okänt / Ej specificerat, Berlin, Heidelberg v.: digital