Formal Aspects of Component Software
11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers
Lecture Notes in Computer Science / Programming and Software Engineering .8997
Herausgegeben von Lanese, Ivan
Madelaine, Eric
- 出版社：Springer, Berlin; Springer International Publishing
- 出版年月：2015年 02月
- ISBN：9783319153162
- 装丁：PAP
-
装丁について
- 言語：ENG
- 版次：2015. 2015. x
- 巻数・ページ数：360 p.