• RecordNumber
    51076
  • Author

    Marco bernardo and paola inverardi

  • Title

    Formal methods for software architectures

  • Publication
    Springer
  • Publication Year
    2003
  • Collation
    296
  • نام فايل
    IUST B229 -- B229D4
    • Link To Document
    https://dl.iust.ac.ir/dl/search/default.aspx?Term=51076&Field=0&DTC=2