• RecordNumber
    43657
  • Author

    Gerard J. Holzmann

  • Title

    Design and validation of computer protocols

  • Publication
    Prentice-Hall
  • Publication Year
    1991
  • Collation
    494
  • نام فايل
    IUST eb-116 -- eb116d4
    • Link To Document
    https://dl.iust.ac.ir/dl/search/default.aspx?Term=43657&Field=0&DTC=2