Proceedings of the Second International Conference on Software Engineering and Formal Methods : SEFM 2004 : September 28-30, 2004 Beijing, China

Author(s)

• International Conference on Software Engineering and Formal Methods
• IEEE Computer Society. Technical Committee on Complexity in Computing
• Beijing da xue

Bibliographic Information

Proceedings of the Second International Conference on Software Engineering and Formal Methods : SEFM 2004 : September 28-30, 2004 Beijing, China

sponsored by IEEE Computer Society Technical Committee on Complexity in Computing ; supported by UNU-IIST, Macao, Peking University, Beijing, China ... [et al.]

IEEE Computer Society, c2004

Note

Includes bibliographical references and index

"IEEE Computer Society order number P2222"-- added t. p

Details

• NCID: BA71405742
• ISBN:
  • 076952222X
• Country Code: us
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Los Alamitos, Calif.
• Pages/Volumes: xii, 428 p.
• Size: 28 cm
• Subject Headings:
  • LCSH : Software engineering -- Congresses
  • LCSH : Formal methods (Computer science) -- Congresses
• Link:
  • ieeexplore.ieee.org/servlet/opac?punumber=9328