• RecordNumber
    531
  • CallNo
    531A
  • Author

    Ince, Darrel

  • Title of Article

    formal specification and the production of correct software

  • Title Of Periodical
    the mathematical intelligencer
  • PublishInfo
    New York :springer ،1984
  • Volum
    6
  • SerialNumber
    2
  • Page
    28-31
    • Link To Document
    https://math.iranlibs.ir/dl/search/default.aspx?Term=531&Field=0&DTC=11