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.
Material type:
Computer fileSeries: Lecture Notes in Computer Science ; 6991Publication details: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011.Description: v.: digitalISBN: - 9783642245596
- 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 Networks
Reviews from LibraryThing.com:
No physical items for this record
There are no comments on this title.