Formal methods for communication protocol specification and verification / Carl A. Sunshine ; prepared for the Defense Advanced Research Projects Agency and the National Bureau of Standards.
Series: Rand note ; N-1429-ARPA/NBS.Publication details: California : Rand Corporation, 1979.Description: ix, 93 p. ; 28 cmSubject(s):| Item type | Current library | Home library | Collection | Call number | Materials specified | Copy number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|---|---|---|---|
| DOKUMEN | PERPUSTAKAAN TUN SERI LANANG | PERPUSTAKAAN TUN SERI LANANG DOKUMEN-P. TUN SERI LANANG (ARAS 5) | - | RAND 7 N-1429-ARPA/NBS 1979 (Browse shelf(Opens below)) | 1 | Available | 00001275254 |
Browsing PERPUSTAKAAN TUN SERI LANANG shelves, Shelving location: DOKUMEN-P. TUN SERI LANANG (ARAS 5) Close shelf browser (Hides shelf browser)
| No cover image available | No cover image available | No cover image available | No cover image available | No cover image available | No cover image available | No cover image available | ||
| RAND 7 N-1421-HUD 1981 Codebook for the HAO recertification characteristics file : site I, year 5 / | RAND 7 N-1422-HUD 1981 Codebook for the HAO recertification characteristics file : site II, year 5 / | RAND 7 N-1423-HUD 1981 Audit of the HAO analysis files, site I, year 5 / | RAND 7 N-1429-ARPA/NBS 1979 Formal methods for communication protocol specification and verification / | RAND 7 N-1432-DCA 1979 Satellite constellations for worldwide and hemisphere coverage / | RAND 7 N-1435-DOE 1980 Evolution of the regulation of high cost gas supplies / | RAND 7 N-1441-NA 1980 Assessing the capabilities of strategic nuclear forces : the limits of current methods / |
Includes bibliographical references (p.48-61) and index
There are no comments on this title.
Log in to your account to post a comment.