• RecordNumber
    6551
  • LC Class
    TK
  • LC Number
    5105.5
  • LC CutterNumber
    .H6
  • Author

    Holzmann, Gerard J.

  • Title

    Design and vallidation of computer protocols

  • Author Statement
    Gerard J. Holzmann
  • Publication
    Prenctice- Hall
  • Publication Year
    1991
  • Collation
    xii, 500 p.: illus.; 25 cm
  • Subject

    Computer network protocols

  • DocumentNumber
    33917
  • Biblography
    Includes bibliographies and index
  • BL
    BL
    • Link To Document
    https://library.iut.ac.ir/dl/search/default.aspx?Term=6551&Field=0&DTC=100