Formal Methods: Foundations and Applications: 14th Brazilian Symposium, SBMF 2011, Sao Paulo, September 26-30 2011, Proceedings (Lecture Notes in Computer Science, Band 7021)

Foundations

von: Adenilso Simao · Carroll Morgan

Taschenbuch

ISBN-13: 978-3-642-25031-6

ISBN-10: 3-642-25031-9

Springer · 2011
Siehe auch:
2012PaperbackFormal Methods: Foundations and Applications: 14th Brazilian Symposium, SBMF 2011, Sao Paulo, September 26-30 2011, Proceedings