Cover is for reference only

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

Saved in:
Bibliographic Details
Corporate Authors: IEEE International Conference on Formal Engineering Methods (13th 2011 Durham, England)
Group Author: Qiu Zongyan.; Qin Shengchao.
Published: Springer,
Publisher Address: Heidelberg New York
Publication Dates: c2011.
Literature type: Book
Language: English
Series: Lecture notes in computer science ; 6991
Subjects:
Computer science > Computer Communication Networks > Software engineering > Computer software > Programming Techniques > Programming Languages, Compilers, Interpreters > Algorithm Analysis and Problem Complexity > Mathematical Logic and Formal Languages
Software engineering
Electronic books.
Formal methods (Computer science)
Online Access: http://dx.doi.org/10.1007/978-3-642-24559-6
Carrier Form: 1 online resource (xiv, 670 p.): ill. (some col.)
ISBN: 9783642245596 (electronic bk.)
3642245595 (electronic bk.)
Index Number: TP311
CLC: TP311.5-532
Contents: Includes bibliographical references and index.

Related Book Recommendations