Formal methods for protocol engineering and distributed systems : Joint international conference : Oct 1999, Beijing, China.

Notes on use

Note (General)：: Papers.Also known as FORTE 12/PSTV 19 '99. Comprises Joint international conference on formal description techniques for distributed systems and commu...

Search by Bookstore

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

Material Type: 図書
ISBN: 0792386469
Title: Formal methods for protocol engineering and distributed systems : Joint international conference : Oct 1999, Beijing, China.
Author Heading: International Federation for Information Processing. TC 6. WG 6.1.
Extent: v.
Alternative Title: Also known as FORTE 12/PSTV 19 '99. Comprises Joint international conference on formal description techniques for distributed systems and communication protocols, FORTE 12 and Conference on protocol specification, testing and verification, PSTV 19. On back cover: IFIP 28
IFIP ; FORTE PSTV ; PSTV ; protocol engineering
NDLC: M17
M159
Note (General): Papers.
Also known as FORTE 12/PSTV 19 '99. Comprises Joint international conference on formal description techniques for distributed systems and communication protocols, FORTE 12 and Conference on protocol specification, testing and verification, PSTV 19. On back cover: IFIP 28.
Index term: IFIP ; FORTE PSTV ; PSTV ; protocol engineering.
Holding library: 国立国会図書館
Call No.: M17-00-0253
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000003510052
http://id.ndl.go.jp/bib/000003510052
Bibliographic Record Category (NDL): 215