<図書>

Automatic verification methods for finite state systems : International Workshop, Grenoble, France, June 12-14, 1989, proceedings / J. Sifakis (ed.)

(Lecture notes in computer science;407)

所蔵情報を非表示

1

本郷キャンパス

配架場所 巻 次 請求記号 登録番号 状 態 文庫区分 刷 年 コメント
理7・CS図 gw 39:L:1.407 2012270027

5260/保存書庫

書誌詳細を非表示

出版者 Berlin ; Tokyo : Springer-Verlag
出版年 c1990
大きさ vii, 382 p. ; 25 cm
一般注記 Includes bibliographical references
著者標目 Sifakis, Joseph, 1946-
件 名 LCSH:Computer network protocols -- Congresses
分 類 LCC:TK5105.5
DC20:004.6/2
本文言語 英語
書誌ID 2000120545
ISBN 3540521488
NCID BA0790503X WCLINK

類似資料

  1. 1 Protocol specification, testing, and verification, XIII : proceedings of the IFIP TC 6/WG 6.1 Thirteenth International Symposium on Protocol Specification, Testing, and Verification, Liège, Belgium, 25-28 May, 1993 / edited by A. Danthine, G. Leduc, P. Wolper
  2. 2 Protocol specification, testing, and verification, XI : proceedings of the IFIP WG 6.1, eleventh International Symposium on Protocol Specification, Testing, and Verification, Stockholm, Sweden, 18-20 June, 1991 / edited by Bengt Jonsson, Joachim Parrow, Björn Pehrson
  3. 3 Protocol specification, testing, and verification, XII : proceedings of the IFIP TC 6/WG 6.1, twelth International Symposium on Protocol Specification, Testing, and Verification, Lake Buena Vista, Florida, U.S.A., 22-25 June, 1992 / edited by R.J. Linn, Jr., M.Ü. Uyar
  4. 4 Network management standards : SNMP, CMIP, TMN, MIBs, and object libraries / Uyless Black
  5. 5 From A to Z39.50 : a networking primer / by James J. Michael and Mark Hinnebusch
  6. 6 Protocol specification, testing, and verification, X : proceedings of the IFIP WG 6.1 Tenth International Symposium on Protocol Specification, Testing, and Verification, Ottawa, Ontario, Canada, 12-15 June, 1990 / edited by Luigi Logrippo, Robert L. Probert, Hasan Ural
  7. 7 Protocol specification, testing, and verification, VII : proceedings of the IFIP WG 6.1 Seventh International Conference on Protocol Specification, Testing, and Verification / organized by IBM Zurich Research Laboratory, Zurich, Switzerland, 5-8 May 1987 ; edited by Harry Rudin and Colin H. West
  8. 8 Protocol specification, testing, and verification, VI : proceedings of the IFIP WG 6.1 Sixth International Workshop on Protocol Specification, Testing, and Verification organized by Concordia University and Université de Montréal, Montreal, Quebec, Canada, June 10-13, 1986 / edited by Behcet Sarikaya, Gregor V. Bochmann
  9. 9 Protocol specification, testing, and verification, VIII : proceedings of the IFIP WG 6.1 Eighth International Symposium on Protocol Specification, Testing, and Verification, Atlantic City, New Jersey, USA, June 7-10, 1988 / edited by Sudhir Aggarwal, Krishan Sabnani
  10. 10 Protocol specification, testing, and verification, IX : proceedings of the IFIP WG 6.1 Ninth International Symposium on Protocol Specification, Testing, and Verification, Enschede, The Netherlands, 6-9 June, 1989 / edited by Ed Brinksma, Giuseppe Scollo, Chris A. Vissers

検索結果一覧に戻る ページトップ