• RecordNumber
    44093
  • Author

    Cornelis A. Middleburg

  • Title

    Logic & specification extending VDM_SL for advanced formal specification

  • Publication
    Chapman & Hall Computing
  • Publication Year
    1993
  • Collation
    406
  • نام فايل
    IUST eb-131 -- eb131d19
    • Link To Document
    https://dl.iust.ac.ir/dl/search/default.aspx?Term=44093&Field=0&DTC=2