Formal Methods: Foundations and Applications: 14th Brazilian Symposium, SBMF 2011, Sao Paulo, September 26-30 2011, Proceedings
von:
Adenilso Simao
·
Carroll Morgan
Taschenbuch
Details (
USA
)
EAN=ISBN-13: 978-3-642-25033-0
ISBN-10: 3-642-25033-5
Springer
· 2012
Siehe auch:
2011
Taschenbuch
Formal Methods: Foundations and Applications: 14th Brazilian Symposium, SBMF 2011, Sao Paulo, September 26-30 2011, Proceedings (Lecture Notes in Computer Science, Band 7021)
