• RecordNumber
    30155
  • Author

    Holzmann, Gerald J.

  • Title

    Design and validation of computer protocols

  • Author Statement
    Gerald J. Holzmann
  • Publication
    Prentice-Hall
  • Publication Year
    c1991
  • Collation
    xii, 500 p
  • Subject

    Computer network protocols

  • Main Class
    004
  • Sub Class
    .62
  • Cutter no
    H762d
  • وارد كنندة اطلاعات
    Mobaraki 1130^d// , fazel^d2003/09/27 14:01:40
    • Link To Document
    https://lib.ui.ac.ir/dl/search/default.aspx?Term=30155&Field=0&DTC=2