Formal Methods: Foundations and Applications
17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings
Lecture Notes in Computer Science / Programming and Software Engineering .8941
Herausgegeben von Braga, Christiano
Martí
-Oliet, Narciso
- 出版社：Springer, Berlin; Springer International Publishing
- 出版年月：2015年 01月
- ISBN：9783319150741
- 装丁：PAP
-
装丁について
- 言語：ENG
- 版次：2015. 2015. ix