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

著者

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

書誌事項

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

注記

Includes bibliographical references and index

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

詳細情報

• NII書誌ID(NCID): BA71405742
• ISBN:
  • 076952222X
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Los Alamitos, Calif.
• ページ数/冊数: xii, 428 p.
• 大きさ: 28 cm
• 件名:
  • LCSH : Software engineering -- Congresses
  • LCSH : Formal methods (Computer science) -- Congresses
• リンク:
  • ieeexplore.ieee.org/servlet/opac?punumber=9328