Proceedings of the ACM SIGSOFT, International Workshop on Formal Methods in Software Development, Napa, California, USA, 9-11 May 1990

CiNii Available at 2 libraries

Bibliographic Information

Title
"Proceedings of the ACM SIGSOFT, International Workshop on Formal Methods in Software Development, Napa, California, USA, 9-11 May 1990"
Statement of Responsibility
edited by Mark Moriconi
Publisher
  • Association for Computing Machinery
Publication Year
  • 1990
Book size
28 cm

Search this Book/Journal

Notes

Includes bibliographies

Related Books

See more

Details 詳細情報について

  • CRID
    1130282270284105728
  • NII Book ID
    BA11877594
  • ISBN
    0897914155
  • Text Lang
    en
  • Country Code
    us
  • Title Language Code
    en
  • Place of Publication
    • New York, N.Y.
  • Data Source
    • CiNii Books
Back to top