Formal methods and software engineering : 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008 : proceedings

Author(s)

• ICFEM
• Liu, Shaoying
• Maibaum, Tom
• 荒木, 啓二郎 アラキ, ケイジロウ

Bibliographic Information

Formal methods and software engineering : 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008 : proceedings

Shaoying Liu, Tom Maibaum, Keijiro Araki (eds.)

（Lecture notes in computer science, 5256）

Springer, c2008

Note

Includes bibliographical references and index

Details

• NCID: BA87666847
• ISBN:
  • 9783540881933
• LCCN: 2008937804
• Country Code: gw
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Berlin
• Pages/Volumes: xi, 396 p.
• Size: 24 cm
• Subject Headings:
  • LCSH : Formal methods (Computer science) -- Congresses
  • LCSH : Software engineering -- Congresses
• Parent Bibliography ID:
  • BA00009279