IFM '99 : proceedings of the 1st International Conference on Integrated Formal Methods, York, 28-29 June 1999

著者

• International Conference on Integrated Formal Methods (1st : 1999 : York, England)
• 荒木, 啓二郎 アラキ, ケイジロウ
• Galloway, Andy
• Taguchi, Kenji

書誌事項

IFM '99 : proceedings of the 1st International Conference on Integrated Formal Methods, York, 28-29 June 1999

Keijiro Araki, Andy Galloway, and Kenji Taguchi (eds.)

Springer, c1999

注記

Includes bibliographical references

詳細情報

• NII書誌ID(NCID): BA43178857
• ISBN:
  • 1852331070
• LCCN: 99029060
• 出版国コード: uk
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: London ; New York
• ページ数/冊数: xiv, 476 p.
• 大きさ: 24 cm
• 分類:
  • LCC : QA76.9.F67
  • DC21 : 005.13/1
• 件名:
  • LCSH : Formal methods (Computer science) Congresses