Formal Methods and Software Engineering: 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November ... (Lecture Notes in Computer Science, 4789) - Softcover

 
9783540766483: Formal Methods and Software Engineering: 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November ... (Lecture Notes in Computer Science, 4789)
Softcover
ISBN 10: 3540766480 ISBN 13: 9783540766483
Publisher: Springer, 2007

Synopsis

This book constitutes the refereed proceedings of the 9th International Conference on Formal Engineering Methods, ICFEM 2007, held in Boca Raton, Florida, USA, November 14-15, 2007. The 19 revised full papers together with two invited talks presented were carefully reviewed and selected from 38 submissions. The papers address all current issues in formal methods and their applications in software engineering. The papers are organized in topical sections.

"synopsis" may belong to another edition of this title.

Publisher
Springer
Publication date
2007
Language
English
ISBN 10 
3540766480
ISBN 13 
9783540766483
Binding
Paperback
Number of pages
395
Editor
Butler Michael, Hinchey Michael G., Larrondo-Petrie Maria M.

Other Popular Editions of the Same Title

9783540845782: Formal Methods and Software Engineering: 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November 14-15, 2007, Proceedings

Featured Edition

ISBN 10:  354084578X ISBN 13:  9783540845782
Publisher: Springer, 2009
Softcover