Formal Aspects of Component Software

12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers

Lecture Notes in Computer Science .9539

Herausgegeben von Braga, Christiano OElveczky, Peter Csaba

出版社：Springer, Berlin; Springer International Publishing 出版年月：2016年 01月
装丁：PAP 言語：ENG 版次：1st ed. 2016. 2016. x

税込価格：

11,787円

海外在庫あり 通常２～５週間で出荷

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&iacute -Oliet, Narciso

出版社：Springer, Berlin; Springer International Publishing 出版年月：2015年 01月
装丁：PAP 言語：ENG 版次：2015. 2015. ix

税込価格：

9,431円

海外在庫あり 通常２～５週間で出荷