Formal Methods and Software Engineering [electronic resource] : 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings / edited by Shengchao Qin, Zongyan Qiu.
By: Qin, Shengchao.
Contributor(s): Qiu, Zongyan | SpringerLink (Online service).
Material type: BookSeries: Lecture Notes in Computer Science, 6991.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Description: digital.ISBN: 9783642245596.Subject(s): Computer science | Computer Communication Networks | Software engineering | Computer software | Computer Science | Software Engineering | Programming Techniques | Programming Languages, Compilers, Interpreters | Algorithm Analysis and Problem Complexity | Mathematical Logic and Formal Languages | Computer Communication NetworksDDC classification: 005.1 Online resources: Click here to access online In: Springer eBooksNo physical items for this record
There are no comments for this item.