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:   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 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


<http://www.worldcat.org/oclc/11399625>
library:oclcnum"11399625"
library:placeOfPublication
library:placeOfPublication
library:placeOfPublication
library:placeOfPublication
rdf:typeschema:Book
rdf:valueUnknown value: cnp
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:contributor
schema:contributor
schema:contributor
schema:contributor
schema:contributor
schema:creator
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 proceedings"@en
schema:inLanguage"en"
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: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>
rdf:typeschema:PublicationEvent
schema:location
schema:location
schema:location
schema:organizer
schema:organizer
schema:startDate"1985"
schema:publisher
schema:publisher
schema:workExample
wdrs:describedby

Content-negotiable representations

Close Window

Please sign in to WorldCat 

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