

An edition of Formal Aspects of Component Software (2014)
10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers
By José Luiz Fiadeiro,Zhiming Liu,Jinyun Xue
Publish Date
2014
Publisher
Springer London, Limited
Language
eng
Pages
390
Description:
subjects: Computer science, Software engineering, Formal methods (Computer science), Congresses, Component software, Logic design, Information Systems, Mathematical Logic and Formal Languages, Logics and Meanings of Programs, Programming Languages, Compilers, Interpreters, Programming Techniques, Management of Computing and Information Systems