skip to content
Formal methods for communication protocol specification and verification Preview this item
ClosePreview this item
Checking...

Formal methods for communication protocol specification and verification

Author: Carl A Sunshine; Rand Corporation.
Publisher: Santa Monica, Calif. : Rand Corp., 1979.
Series: Rand note, N-1429-ARPA/NBS.
Edition/Format:   Print book : EnglishView all editions and formats
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Additional Physical Format: Online version:
Sunshine, Carl A.
Formal methods for communication protocol specification and verification.
Santa Monica, Calif. : Rand Corporation, 1979
(OCoLC)621865692
Document Type: Book
All Authors / Contributors: Carl A Sunshine; Rand Corporation.
OCLC Number: 13972087
Notes: Prepared for the Defense Advanced Research Projects Agency and the National Bureau of Standards.
Description: ix, 93 pages ; 28 cm.
Series Title: Rand note, N-1429-ARPA/NBS.
Responsibility: Carl A. Sunshine.

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.

Similar Items

Related Subjects:(1)

Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/13972087> # Formal methods for communication protocol specification and verification
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "13972087" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/cau> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/7254986#Place/santa_monica_calif> ; # Santa Monica, Calif.
   schema:about <http://id.worldcat.org/fast/872297> ; # Computer networks
   schema:about <http://dewey.info/class/001.64404/> ;
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/136758914> ; # Rand Corporation.
   schema:creator <http://viaf.org/viaf/33327481> ; # Carl A. Sunshine
   schema:datePublished "1979" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/7254986> ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/7254986#Series/rand_note> ; # Rand note ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/7254986#Series/a_rand_note> ; # A Rand note ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/621865692> ;
   schema:name "Formal methods for communication protocol specification and verification"@en ;
   schema:productID "13972087" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/13972087#PublicationEvent/santa_monica_calif_rand_corp_1979> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/7254986#Agent/rand_corp> ; # Rand Corp.
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/13972087> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/7254986#Place/santa_monica_calif> # Santa Monica, Calif.
    a schema:Place ;
   schema:name "Santa Monica, Calif." ;
    .

<http://experiment.worldcat.org/entity/work/data/7254986#Series/a_rand_note> # A Rand note ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/13972087> ; # Formal methods for communication protocol specification and verification
   schema:name "A Rand note ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/7254986#Series/rand_note> # Rand note ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/13972087> ; # Formal methods for communication protocol specification and verification
   schema:name "Rand note ;" ;
    .

<http://id.worldcat.org/fast/872297> # Computer networks
    a schema:Intangible ;
   schema:name "Computer networks"@en ;
    .

<http://viaf.org/viaf/136758914> # Rand Corporation.
    a schema:Organization ;
   schema:name "Rand Corporation." ;
    .

<http://viaf.org/viaf/33327481> # Carl A. Sunshine
    a schema:Person ;
   schema:familyName "Sunshine" ;
   schema:givenName "Carl A." ;
   schema:name "Carl A. Sunshine" ;
    .

<http://www.worldcat.org/oclc/621865692>
    a schema:CreativeWork ;
   rdfs:label "Formal methods for communication protocol specification and verification." ;
   schema:description "Online version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/13972087> ; # Formal methods for communication protocol specification and verification
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.