skip to content
Protocol specification, testing, and verification, IV : proceedings of the IFIP WG 6.1 International Workshop on Protocol Specification, Testing, and Verification Preview this item
ClosePreview this item
Checking...

Protocol specification, testing, and verification, IV : proceedings of the IFIP WG 6.1 International Workshop on Protocol Specification, Testing, and Verification

Author: Yechiam Yemini; Robert Strom; Shaula Yemini; IFIP Working Group 6.1.; Columbia University.
Publisher: Amsterdam ; New York : North-Holland ; New York, N.Y., U.S.A. : Sole distributor for the U.S.A and Canada, Elsevier Science Pub. Co., 1985.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Database:WorldCat
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

Genre/Form: Conference papers and proceedings
Congresses
Additional Physical Format: Online version:
IFIP WG 6.1 International Workshop on Protocol Specification, Testing, and Verification (4th : 1984 : Skytop Lodge, Pa.).
Protocol specification, testing, and verification, IV.
Amsterdam ; New York : North-Holland ; New York, N.Y., U.S.A. : Sole distributor for the U.S.A and Canada, Elsevier Science Pub. Co., 1985
(OCoLC)655667729
Material Type: Conference publication
Document Type: Book
All Authors / Contributors: Yechiam Yemini; Robert Strom; Shaula Yemini; IFIP Working Group 6.1.; Columbia University.
ISBN: 0444876766 9780444876768
OCLC Number: 11399625
Description: xii, 720 pages : illustrations ; 23 cm
Contents: Protocol verification techniques --
Combined tools for design, verification and implementation --
Applying protocol specification techniques --
Protocol specification and verification --
Protocol synthesis --
Performance analysis --
Protocol testing.
Responsibility: organized by Columbia University, Skytop Lodge, Pennsylvania, U.S.A., June 11-14, 1984 ; edited by Yechiam Yemini, Robert Strom, and Shaula Yemini.

Reviews

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

Tags

Be the first.
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/11399625> # Protocol specification, testing, and verification, IV : proceedings of the IFIP WG 6.1 International Workshop on Protocol Specification, Testing, and Verification
    a schema:Book, schema:CreativeWork ;
    library:oclcnum "11399625" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/793758455#Place/new_york_n_y_u_s_a> ; # New York, N.Y., U.S.A.
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/793758455#Place/amsterdam> ; # Amsterdam
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/ne> ;
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    schema:about <http://experiment.worldcat.org/entity/work/data/793758455#Topic/traitement_reparti_congres> ; # Traitement réparti--Congrès
    schema:about <http://experiment.worldcat.org/entity/work/data/793758455#Topic/test_protocole> ; # test protocole
    schema:about <http://experiment.worldcat.org/entity/work/data/793758455#Topic/specification_protocole> ; # spécification protocole
    schema:about <http://id.worldcat.org/fast/872279> ; # Computer network protocols
    schema:about <http://experiment.worldcat.org/entity/work/data/793758455#Topic/protocole_reseau> ; # protocole réseau
    schema:about <http://experiment.worldcat.org/entity/work/data/793758455#Topic/computer_network_protocols> ; # Computer network protocols
    schema:about <http://dewey.info/class/001.64404/e19/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/793758455#Topic/protocole_communication> ; # protocole communication
    schema:about <http://experiment.worldcat.org/entity/work/data/793758455#Topic/analyse_performance> ; # analyse performance
    schema:about <http://experiment.worldcat.org/entity/work/data/793758455#Topic/protocoles_de_reseaux_d_ordinateurs_congres> ; # Protocoles de réseaux d'ordinateurs--Congrès
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://viaf.org/viaf/270273769> ; # Shaula Yemini
    schema:contributor <http://viaf.org/viaf/264055629> ; # IFIP Working Group 6.1.
    schema:contributor <http://viaf.org/viaf/289229369> ; # Robert Strom
    schema:contributor <http://viaf.org/viaf/16174505> ; # Yechiam Yemini
    schema:contributor <http://experiment.worldcat.org/entity/work/data/793758455#Organization/columbia_university> ; # Columbia University.
    schema:creator <http://experiment.worldcat.org/entity/work/data/793758455#Meeting/ifip_wg_6_1_international_workshop_on_protocol_specification_testing_and_verification_4th_1984_skytop_lodge_pa> ; # IFIP WG 6.1 International Workshop on Protocol Specification, Testing, and Verification (4th : 1984 : Skytop Lodge, Pa.)
    schema:datePublished "1985" ;
    schema:description "Protocol verification techniques -- Combined tools for design, verification and implementation -- Applying protocol specification techniques -- Protocol specification and verification -- Protocol synthesis -- Performance analysis -- Protocol testing."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/793758455> ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:genre "Conference publication"@en ;
    schema:inLanguage "en" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/655667729> ;
    schema:name "Protocol specification, testing, and verification, IV : proceedings of the IFIP WG 6.1 International Workshop on Protocol Specification, Testing, and Verification"@en ;
    schema:productID "11399625" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/11399625#PublicationEvent/amsterdam_new_york_north_holland_new_york_n_y_u_s_a_sole_distributor_for_the_u_s_a_and_canada_elsevier_science_pub_co_1985> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/793758455#Agent/sole_distributor_for_the_u_s_a_and_canada_elsevier_science_pub_co> ; # Sole distributor for the U.S.A and Canada, Elsevier Science Pub. Co.
    schema:publisher <http://experiment.worldcat.org/entity/work/data/793758455#Agent/north_holland> ; # North-Holland
    schema:workExample <http://worldcat.org/isbn/9780444876768> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/11399625> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
    schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/793758455#Agent/north_holland> # North-Holland
    a bgn:Agent ;
    schema:name "North-Holland" ;
    .

<http://experiment.worldcat.org/entity/work/data/793758455#Agent/sole_distributor_for_the_u_s_a_and_canada_elsevier_science_pub_co> # Sole distributor for the U.S.A and Canada, Elsevier Science Pub. Co.
    a bgn:Agent ;
    schema:name "Sole distributor for the U.S.A and Canada, Elsevier Science Pub. Co." ;
    .

<http://experiment.worldcat.org/entity/work/data/793758455#Meeting/ifip_wg_6_1_international_workshop_on_protocol_specification_testing_and_verification_4th_1984_skytop_lodge_pa> # IFIP WG 6.1 International Workshop on Protocol Specification, Testing, and Verification (4th : 1984 : Skytop Lodge, Pa.)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/793758455#Place/skytop_lodge_pa> ; # Skytop Lodge, Pa.)
    schema:name "IFIP WG 6.1 International Workshop on Protocol Specification, Testing, and Verification (4th : 1984 : Skytop Lodge, Pa.)" ;
    .

<http://experiment.worldcat.org/entity/work/data/793758455#Organization/columbia_university> # Columbia University.
    a schema:Organization ;
    schema:name "Columbia University." ;
    .

<http://experiment.worldcat.org/entity/work/data/793758455#Place/new_york_n_y_u_s_a> # New York, N.Y., U.S.A.
    a schema:Place ;
    schema:name "New York, N.Y., U.S.A." ;
    .

<http://experiment.worldcat.org/entity/work/data/793758455#Place/skytop_lodge_pa> # Skytop Lodge, Pa.)
    a schema:Place ;
    schema:name "Skytop Lodge, Pa.)" ;
    .

<http://experiment.worldcat.org/entity/work/data/793758455#Topic/analyse_performance> # analyse performance
    a schema:Intangible ;
    schema:name "analyse performance"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/793758455#Topic/protocole_communication> # protocole communication
    a schema:Intangible ;
    schema:name "protocole communication"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/793758455#Topic/protocole_reseau> # protocole réseau
    a schema:Intangible ;
    schema:name "protocole réseau"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/793758455#Topic/protocoles_de_reseaux_d_ordinateurs_congres> # Protocoles de réseaux d'ordinateurs--Congrès
    a schema:Intangible ;
    schema:name "Protocoles de réseaux d'ordinateurs--Congrès"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/793758455#Topic/specification_protocole> # spécification protocole
    a schema:Intangible ;
    schema:name "spécification protocole"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/793758455#Topic/traitement_reparti_congres> # Traitement réparti--Congrès
    a schema:Intangible ;
    schema:name "Traitement réparti--Congrès"@en ;
    .

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

<http://viaf.org/viaf/16174505> # Yechiam Yemini
    a schema:Person ;
    schema:familyName "Yemini" ;
    schema:givenName "Yechiam" ;
    schema:name "Yechiam Yemini" ;
    .

<http://viaf.org/viaf/264055629> # IFIP Working Group 6.1.
    a schema:Organization ;
    schema:name "IFIP Working Group 6.1." ;
    .

<http://viaf.org/viaf/270273769> # Shaula Yemini
    a schema:Person ;
    schema:familyName "Yemini" ;
    schema:givenName "Shaula" ;
    schema:name "Shaula Yemini" ;
    .

<http://viaf.org/viaf/289229369> # Robert Strom
    a schema:Person ;
    schema:familyName "Strom" ;
    schema:givenName "Robert" ;
    schema:name "Robert Strom" ;
    .

<http://worldcat.org/isbn/9780444876768>
    a schema:ProductModel ;
    schema:isbn "0444876766" ;
    schema:isbn "9780444876768" ;
    .

<http://www.worldcat.org/oclc/655667729>
    a schema:CreativeWork ;
    rdfs:label "Protocol specification, testing, and verification, IV." ;
    schema:description "Online version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/11399625> ; # Protocol specification, testing, and verification, IV : proceedings of the IFIP WG 6.1 International Workshop on Protocol Specification, Testing, and Verification
    .

<http://www.worldcat.org/title/-/oclc/11399625>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/11399625> ; # Protocol specification, testing, and verification, IV : proceedings of the IFIP WG 6.1 International Workshop on Protocol Specification, Testing, and Verification
    schema:dateModified "2015-07-19" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .

<http://www.worldcat.org/title/-/oclc/11399625#PublicationEvent/amsterdam_new_york_north_holland_new_york_n_y_u_s_a_sole_distributor_for_the_u_s_a_and_canada_elsevier_science_pub_co_1985>
    a schema:PublicationEvent ;
    schema:location <http://experiment.worldcat.org/entity/work/data/793758455#Place/new_york_n_y_u_s_a> ; # New York, N.Y., U.S.A.
    schema:location <http://dbpedia.org/resource/New_York_City> ; # New York
    schema:location <http://experiment.worldcat.org/entity/work/data/793758455#Place/amsterdam> ; # Amsterdam
    schema:organizer <http://experiment.worldcat.org/entity/work/data/793758455#Agent/sole_distributor_for_the_u_s_a_and_canada_elsevier_science_pub_co> ; # Sole distributor for the U.S.A and Canada, Elsevier Science Pub. Co.
    schema:organizer <http://experiment.worldcat.org/entity/work/data/793758455#Agent/north_holland> ; # North-Holland
    schema:startDate "1985" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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