• RecordNumber
    17104
  • Author

    Holzmann, Gerard J. , Holzmann, Gerard J. , Holzmann, Gerard J. , Holzmann, Gerard J. , Holzmann, Gerard J.

  • Title

    Design and validation of computer protocols

  • Author Statement
    Gerard J. Holzmann
  • Publication
    Prentice Hall , Prentice Hall , Prentice Hall , Prentice Hall , Prentice Hall
  • Publication Year
    1991
  • Collation
    xii, 500 p. : ill. ; 25 cm
  • Series
    Prentice Hall software series
  • Notes
    Includes bibliographical references and indexes , At head of title: AT & T
  • Subject

    Computer network protocols

  • ADDED ENTRIES
    ,
  • LC Class
    TK
  • LC Number
    5105.5
  • LC CutterNumber
    .H6
  • LC Date
    1991
    • Link To Document
    https://dl.iust.ac.ir/dl/search/default.aspx?Term=17104&Field=0&DTC=2