Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised ... Notes in Computer Science, Band 6527)

von: Jim Davies · Leila Silva · Adenilso Simao Taschenbuch Details (Deutschland) ISBN: 978-3-642-19828-1 ISBN-10: 3-642-19828-7 Springer · 2011