Media type: E-Book; Text; Electronic Conference Proceeding Title: Formal Methods for Components and Objects: 10th International Symposium FMCO 2011, revised selected papers Contributor: Beckert, Bernhard [Author] imprint: Springer Verlag, 2012-01-01 Language: English ISBN: 978-3-642-35886-9 ISSN: 0302-9743 Keywords: DATA processing & computer science Origination: Footnote: Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.