Formal methods and software engineering 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011 : proceedings /
This book constitutes the refereed proceedings of the 13th International Conference on Formal Engineering Methods, ICFEM 2011, held in Durham, UK, October 2011. The 40 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 103 submissions. The papers ad...
Corporate Authors: | IEEE International Conference on Formal Engineering Methods Durham, England) |
---|---|
Other Authors: | IEEE International Conference on Formal Engineering Methods, Qin, Shengchao., Qiu, Zongyan., SpringerLink (Online service) |
Format: | eBook |
Language: | English |
Published: |
Heidelberg ; New York :
Springer,
©2011.
Heidelberg ; New York : [2011] |
Physical Description: |
1 online resource (xiv, 670 pages) : illustrations (some color). |
Series: |
Lecture notes in computer science ;
6991. |
Subjects: |
CMU Electronic Access
Electronic Resource Click HereLocation | Call Number: | Status |
---|---|---|
CMU Electronic Access | Available |