Protocol specification, testing, and verification, VIII : proceedings of the IFIP WG 6.1 Eighth International Symposium on Protocol Specification, Testing, and Verification, Atlantic City, New Jersey, USA, June 7-10, 1988

LDR 01431nam a2200325Ia 4500
001 006259216
003 MiAaHDL
005 20090407000000.0
006 m d
007 cr bn ---auaua
008 030523s1988 ne a b 101 0 eng d
010 ‡a 88647142
020 ‡a0444705422 (U.S.)
035 ‡asdr-nrlfGLAD185048397-B
035 ‡ab11319410
040 ‡aCLU ‡cCLU
090 ‡a TK5105.5 ‡b.I595 1988
035 ‡a(OCoLC)19561682
111 2 ‡aInternational Symposium on Protocol Specification, Testing, and Verification ‡n(8th : ‡d1988 : ‡cAtlantic City, N.J.)
245 1 0 ‡aProtocol specification, testing, and verification, VIII : ‡bproceedings of the IFIP WG 6.1 Eighth International Symposium on Protocol Specification, Testing, and Verification, Atlantic City, New Jersey, USA, June 7-10, 1988 / ‡cedited by Sudhir Aggarwal, Krishan Sabnani.
260 ‡aAmsterdam ; ‡aNew York : ‡bNorth-Holland ; ‡aNew York, N.Y., U.S.A. : ‡bSole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., ‡c1988.
300 ‡axii, 421 p. : ‡bill. ; ‡c24 cm.
504 ‡aIncludes bibliographies and index.
538 ‡aMode of access: Internet.
650 0 ‡aComputer network protocols ‡vCongresses.
700 1 ‡aSabnani, Krishan.
700 1 ‡aAggarwal, Sudhir.
710 2 ‡aIFIP Working Group 6.1.
CID ‡a006259216
DAT 0 ‡a20080304110051.0 ‡b20090407000000.0
DAT 1 ‡a20120815184702.0 ‡b2023-05-09T18:04:08Z
CAT ‡aSDR-NRLF ‡dLOCAL - GLADIS ‡lloader.pl-001-001
FMT ‡aBK
HOL ‡0sdr-nrlfGLAD185048397-B ‡auc1 ‡bSDR ‡cNRLF ‡puc1.b4532776 ‡sUC ‡1GLAD185048397-B
974 ‡bUC ‡cNRLF ‡d20230509 ‡sgoogle ‡uuc1.b4532776 ‡y1988 ‡ric ‡qbib ‡tnon-US bib date1 >= 1930