• Record number
    147
  • Author

    Nimal Nissanke

  • Creator Role
    نويسنده
  • Title

    Formal Specification Techniques ad Applications

  • Publication
    London Springer
  • Published Year
    1999
  • Fierst Pages
    0
  • Main Pages
    295
  • Collation
    295
  • Notes
    005.12^cN5 , Glossary
  • Reprint
    False
  • Contents
    0
  • Print issue
    0
  • Subject

    Software Engineering Computer Software-Specifications

  • Class
    005.12
  • CutterNumber
    N5
  • Language
    انگليسي
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=7&DC=147