Applying formal methods: testing, performance, and M/E-commerce : FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 ; proceedings

著者

• FORTE
• Núñez, Manuel

書誌事項

Applying formal methods: testing, performance, and M/E-commerce : FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 ; proceedings

Manuel Núñez ... [et al.] (eds.)

（Lecture notes in computer science, 3236）

Springer, c2004

注記

Includes bibliographies and index

詳細情報

• NII書誌ID(NCID): BA6917300X
• ISBN:
  • 3540231692
• 出版国コード: gw
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Berlin
• ページ数/冊数: xi, 379 p.
• 大きさ: 24 cm
• 親書誌ID:
  • BA00009279