Formal Methods for Components and Objects: 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers (Lecture Notes in Computer Science, Band 7542)

von: Bernhard Beckert · Ferruccio Damiani · Frank S. de Boer · Marcello M. Bonsangue Taschenbuch Details (Deutschland) Details (Italien) (siehe auch: Copertina flessibile) Details (Spanien - España) (siehe auch: Tapa blanda) ISBN: 978-3-642-35886-9 ISBN-10: 3-642-35886-1 Springer · 2013