• RecordNumber
    744
  • Author

    Backhouse, Roland C.

  • Title

    Construction et verification le programmes

  • Author Statement
    Roland C. Backhouse
  • Publication
    Masson
  • Publication Year
    [1989]
  • Collation
    276 p
  • Series
    Manuels infermatiques masson
  • Subject

    Computer software- Verfication

  • Main Class
    005
  • Sub Class
    .14
  • Cutter no
    B126c
  • وارد كنندة اطلاعات
    soltani^d//
    • Link To Document
    https://lib.ui.ac.ir/dl/search/default.aspx?Term=744&Field=0&DTC=2