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/264055629> ; # IFIP Working Group 6.1.
   schema:contributor <http://experiment.worldcat.org/entity/work/data/793758455#Person/yemini_shaula> ; # Shaula Yemini
   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:contributor <http://experiment.worldcat.org/entity/work/data/793758455#Person/strom_robert> ; # Robert Strom
   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/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#Person/strom_robert> # Robert Strom
    a schema:Person ;
   schema:familyName "Strom" ;
   schema:givenName "Robert" ;
   schema:name "Robert Strom" ;
    .

<http://experiment.worldcat.org/entity/work/data/793758455#Person/yemini_shaula> # Shaula Yemini
    a schema:Person ;
   schema:familyName "Yemini" ;
   schema:givenName "Shaula" ;
   schema:name "Shaula Yemini" ;
    .

<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/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://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 "2016-05-11" ;
   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.