Jump to main content
図書

Protocol specification, testing, and verification : proceedings of the IFIP WG 6.1 Second International Workshop on Protocol Specification, Testing, and Verification, organized by USC/ISI, Idyllwild, California, U.S.A., 17-20 May 1982 / edited by Carl Sunshine.

Icons representing 図書

Protocol specification, testing, and verification : proceedings of the IFIP WG 6.1 Second International Workshop on Protocol Specification, Testing, and Verification, organized by USC/ISI, Idyllwild, California, U.S.A., 17-20 May 1982 / edited by Carl Sunshine.

Call No. (NDL)
ND633-A6
Bibliographic ID of National Diet Library
000003105102
Material type
図書
Author
IFIP WG 6.1 International Workshop on Protocol Specification, Testing, and Verification (2nd : 1982 : Idyllwild, Calif.)ほか
Publisher
North-Holland Pub. Co.
Publication date
1982.
Material Format
Paper
Capacity, size, etc.
ix, 572 p. : ill. ; 24 cm.
NDC
-
View All

Search by Bookstore

Table of Contents

Provided by:国立国会図書館Link to Help Page
  • TABLE OF CONTENTS

  • Preface/ v

  • Program Committee/ vi

  • Temporal Logic/ i

  • Richard Schwartz & P.M. Melliar.Smith, (tutorial) From State Machines to Temporal Logic: Specification Methods for Protocol Standards/ 3

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper