Coverart for item
The Resource Communication protocol specification and verification, by Richard Lai, Ajin Jirachiefpattana

Communication protocol specification and verification, by Richard Lai, Ajin Jirachiefpattana

Label
Communication protocol specification and verification
Title
Communication protocol specification and verification
Statement of responsibility
by Richard Lai, Ajin Jirachiefpattana
Creator
Contributor
Subject
Genre
Language
eng
Member of
Cataloging source
DLC
http://library.link/vocab/creatorName
Lai, Richard
Dewey number
004.6/2
Illustrations
illustrations
Index
index present
LC call number
TK5105.55
LC item number
.L35 1998
Literary form
non fiction
Nature of contents
bibliography
http://library.link/vocab/relatedWorkOrContributorName
Ajin Jirachiefpattana
Series statement
The Kluwer international series in engineering and computer science
Series volume
SECS 464
http://library.link/vocab/subjectName
  • Computer network protocols
  • Computer programs
  • LOTOS (Computer program language)
Label
Communication protocol specification and verification, by Richard Lai, Ajin Jirachiefpattana
Instantiates
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
volume
Carrier category code
nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Contents
  • 4.
  • LOTOS.
  • 5.
  • SDL
  • Pt. II.
  • Protocol Verification.
  • 6.
  • Protocol Verification.
  • 7.
  • A Review on Estelle Verification.
  • Pt. I.
  • 8.
  • NPNS Modelling Estelle.
  • 9.
  • EVEN -- A Software Environment for Estelle Verification.
  • 10.
  • A Method to Address the State Space Explosion Problem.
  • 11.
  • Applications of EVEN
  • Protocol Specification.
  • 1.
  • Communication Protocol.
  • 2.
  • Formal Description Techniques.
  • 3.
  • Estelle.
Control code
39624856
Dimensions
25 cm
Extent
304 pages
Isbn
9780792382843
Isbn Type
(acid-free paper)
Lccn
98039003
Media category
unmediated
Media MARC source
rdamedia
Media type code
n
Other physical details
illustrations
Label
Communication protocol specification and verification, by Richard Lai, Ajin Jirachiefpattana
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
volume
Carrier category code
nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Contents
  • 4.
  • LOTOS.
  • 5.
  • SDL
  • Pt. II.
  • Protocol Verification.
  • 6.
  • Protocol Verification.
  • 7.
  • A Review on Estelle Verification.
  • Pt. I.
  • 8.
  • NPNS Modelling Estelle.
  • 9.
  • EVEN -- A Software Environment for Estelle Verification.
  • 10.
  • A Method to Address the State Space Explosion Problem.
  • 11.
  • Applications of EVEN
  • Protocol Specification.
  • 1.
  • Communication Protocol.
  • 2.
  • Formal Description Techniques.
  • 3.
  • Estelle.
Control code
39624856
Dimensions
25 cm
Extent
304 pages
Isbn
9780792382843
Isbn Type
(acid-free paper)
Lccn
98039003
Media category
unmediated
Media MARC source
rdamedia
Media type code
n
Other physical details
illustrations

Library Locations

    • Engineering Library & Technology CommonsBorrow it
      W2001 Lafferre Hall, Columbia, MO, 65211, US
      38.946102 -92.330125
    • University of Missouri Libraries DepositoryBorrow it
      2908 Lemone Blvd, Columbia, MO, 65211, US
      38.919360 -92.291620
Processing Feedback ...