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

Author(s)

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

Bibliographic Information

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

Note

Includes bibliographical references

Details

• NCID: BA43178857
• ISBN:
  • 1852331070
• LCCN: 99029060
• Country Code: uk
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: London ; New York
• Pages/Volumes: xiv, 476 p.
• Size: 24 cm
• Classification:
  • LCC : QA76.9.F67
  • DC21 : 005.13/1
• Subject Headings:
  • LCSH : Formal methods (Computer science) Congresses