Formal methods in system design : an international journal

Author(s)

Bibliographic Information

Formal methods in system design : an international journal

Kluwer Academic Publishers, c1992-

  • Vol. 1, no. 1 (July 1992)-

Other Title

Form. methods syst. des

Formal methods in system design

Available at  / 11 libraries

Search this Book/Journal

Note

Some no. combined

Details

  • NCID
    AA11025734
  • ISSN
    09259856
  • LCCN
    93648953
  • Country Code
    us
  • Title Language Code
    eng
  • Text Language Code
    eng
  • Place of Publication
    Boston, U.S.A.
  • Publication Status
    Currently Published Status
  • Frequency
    Bimonthly
  • Regularity
    Regular
  • Type of Continuing Resource
    Periodical
  • CODEN
    FMSDE6
Page Top