Formal techniques for networked and distributed systems : FORTE 2001 : IFIP TC6/WG6.1 -- 21st international conference on formal techniques for networked and distributed systems : August 28-31, 2001, Cheju Island, Korea. : Aug 2001, ------. (IFIP ; 69)

Formal techniques for networked and distributed systems : FORTE 2001 : IFIP TC6/WG6.1 -- 21st international conference on formal techniques for networked and distributed systems : August 28-31, 2001, Cheju Island, Korea. : Aug 2001, ------.

(IFIP ; 69)

Call No. (NDL): M17-03-3087
Bibliographic ID of National Diet Library: 000004240379

Material type: 図書

Author: Kim, Myungchul.ほか

Publisher: Kluwer Academic Publishers

Publication date: c2001.

Material Format: Paper

Capacity, size, etc.: xii, 458 p. : ill. ; 24 cm.

NDC: -

View All

Notes on use

Note (General)：: Papers.Held at Cheju Island, Korea."FORTE 2001, formerly FORTE/PSTV conference, is a combined conference of FORTE (Formal Description Techniques for D...

Search by Bookstore

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

Material Type: 図書
ISBN: 0792374703
Title: Formal techniques for networked and distributed systems : FORTE 2001 : IFIP TC6/WG6.1 -- 21st international conference on formal techniques for networked and distributed systems : August 28-31, 2001, Cheju Island, Korea. : Aug 2001, ------.
Series Title: IFIP ; 69
Author Heading: Kim, Myungchul.
International Conference on Formal Techniques for Networked and Distributed Systems (21st : 2001 : Cheju Island, Korea)
Publication, Distribution, etc.: Boston : Kluwer Academic Publishers
London : Kluwer Academic Publishers
Publication Date: c2001.
Publication Date (W3CDTF): 2001
Extent: xii, 458 p. : ill. ; 24 cm.
Place of Publication (Country Code): US
Text Language Code: eng
Subject Heading: Electronic data processing -- Distributed processing -- Congresses.
Formal methods (Computer science) -- Congresses.
NDLC: M17
Note (General): Papers.
Held at Cheju Island, Korea.
"FORTE 2001, formerly FORTE/PSTV conference, is a combined conference of FORTE (Formal Description Techniques for Distributed Systems and Communication Protocols) and PSTV (Protocol Specification, Testing and Verification) conferences." -- preface.
Note (Bibliography): Includes bibliographical references.
Holding library: 国立国会図書館
Call No.: M17-03-3087
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000004240379
http://id.ndl.go.jp/bib/000004240379
RLIN No.: MIUGBBJ4097-B
Bibliographic Record Category (NDL): 215