Cover Image

Formal Methods and Software Engineering 10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008, Proceedings /

This book constitutes the refereed proceedings of the 10th International Conference on Formal Engineering Methods, ICFEM 2008, held in Kitakyushu-City, Japan, October 2008. The 20 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 62 submissions. Th...

Full description

Corporate Author: SpringerLink (Online service)
Other Authors: Liu, Shaoying. (Editor, http://id.loc.gov/vocabulary/relators/edt), Maibaum, Tom. (Editor, http://id.loc.gov/vocabulary/relators/edt), Araki, Keijiro. (Editor, http://id.loc.gov/vocabulary/relators/edt)
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008.
Edition:1st ed. 2008.
Series:Programming and Software Engineering ; 5256
Subjects:
Software engineering.
Programming languages (Electronic computers).
Computer programming.
Computers.
Mathematical logic.
Software Engineering/Programming and Operating Systems.
Programming Languages, Compilers, Interpreters.
Programming Techniques.
Software Engineering.
Models and Principles.
Mathematical Logic and Formal Languages.
Online Access:https://doi.org/10.1007/978-3-540-88194-0

Internet

https://doi.org/10.1007/978-3-540-88194-0

Similar Items