Formal description techniques and protocol specification, testing, and verification : FORTE XI/PSTV XVIII '98 : IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing, and Verification (PSTV XVIII) : 3-6 November 1998, Paris, France / edited by Stan Budkowski, Ana Cavalli, Elie Najm
- 資料種別:
- 図書
- 出版情報:
- Boston : Kluwer Academic Publishers, 1998
- 形態:
- viii, 467 p. ; 24 cm
- シリーズ名:
- The International Federation for Information Processing ; 6 <BA39641980>
- 著者名:
- ISBN:
- 9780412847608 [0412847604] (: alk. paper)
- 書誌ID:
- BA40509947
類似資料:
North-Holland, Distributors for the US and Canada, Elsevier Science Pub. Co. | |
published by Chapman & Hall on behalf of the International Federation for Information Processing | |
Chapman & Hall on behalf of the International Federation for Information Processing | |