Start Over Please hold this item Export MARC Display Return To Browse
 
     
Limit search to available items
Record: Previous Record Next Record
Conference International Conference on Formal Engineering Methods (13th : 2011 : Durham, England)
Title Formal methods and software engineering : 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011 : proceedings / Shengchao Qin, Zongyan Qiu, eds.
Alternative Title ICFEM 2011
Publication Info Heidelberg ; Dordrecht ; London ; New York ; Springer, [2011]



Descript xiv, 670 pages : illustrations ; 24 cm.
ISBN 9783642245596 (ebk.)
Click on the terms below to find similar items in the catalogue
Conference International Conference on Formal Engineering Methods (13th : 2011 : Durham, England)
Series Lecture notes in computer science, 6991
LNCS sublibrary. SL 2, Programming and software engineering
Subject Formal methods (Computer science) -- Congresses.
Software engineering -- Congresses.
Alt author Qin, Shengchao.
Qiu, Zongyan.
Alternative Title ICFEM 2011
Descript xiv, 670 pages : illustrations ; 24 cm.
ISBN 9783642245596 (ebk.)
Conference International Conference on Formal Engineering Methods (13th : 2011 : Durham, England)
Series Lecture notes in computer science, 6991
LNCS sublibrary. SL 2, Programming and software engineering
Subject Formal methods (Computer science) -- Congresses.
Software engineering -- Congresses.
Alt author Qin, Shengchao.
Qiu, Zongyan.
Alternative Title ICFEM 2011

Subject Formal methods (Computer science) -- Congresses.
Software engineering -- Congresses.
Descript xiv, 670 pages : illustrations ; 24 cm.
Alt author Qin, Shengchao.
Qiu, Zongyan.
ISBN 9783642245596 (ebk.)

Links and services for this item: