Formal methods and software engineering : 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006 : proceedings

Author(s)

• ICFEM
• Liu, Zhiming
• He, Jifeng

Bibliographic Information

Formal methods and software engineering : 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006 : proceedings

Zhiming Liu, Jifeng He (eds.)

（Lecture notes in computer science, 4260）

Springer, c2006

Note

Includes bibliographical references and index

Details

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