Cover Image

Formal Methods and Software Engineering 15th International Conference on Formal EngineeringMethods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013, Proceedings /

This book constitutes the refereed proceedings of the 15th International Conference on Formal Engineering Methods, ICFEM 2013, held in Queenstown, New Zealand, in October/November 2013. The 28 revised full papers together with 2 keynote speeches presented were carefully reviewed and selected from 88...

Full description

Corporate Author: SpringerLink (Online service)
Other Authors: Groves, Lindsay. (Editor, http://id.loc.gov/vocabulary/relators/edt), Sun, Jing. (Editor, http://id.loc.gov/vocabulary/relators/edt)
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
Edition:1st ed. 2013.
Series:Programming and Software Engineering ; 8144
Subjects:
Software engineering.
Computer programming.
Programming languages (Electronic computers).
Algorithms.
Mathematical logic.
Computer communication systems.
Software Engineering.
Programming Techniques.
Programming Languages, Compilers, Interpreters.
Algorithm Analysis and Problem Complexity.
Mathematical Logic and Formal Languages.
Computer Communication Networks.
Online Access:https://doi.org/10.1007/978-3-642-41202-8

Similar Items