Formal methods and software engineering : 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011 : proceedings /

Bibliographic Details
Corporate Author:	IEEE International Conference on Formal Engineering Methods Durham, England
Other Authors:	Qin, Shengchao, Qiu, Zongyan
Format:	Conference Proceeding eBook
Language:	English
Published:	Heidelberg ; New York : Springer-Verlag Berlin Heidelberg, [2011]
Series:	Lecture notes in computer science ; 6991.
Subjects:	Formal methods (Computer science) > Congresses. Software engineering > Congresses. Algorithm Analysis and Problem Complexity Computer Communication Networks Computer science Computer software Mathematical Logic and Formal Languages Programming Languages, Compilers, Interpreters Programming Techniques Software engineering Electronic books.
Online Access:	Connect to the full text of this electronic book

Available Online