<図書>

Computer aided verification : 12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000 : proceedings / E. Allen Emerson, A. Prasad Sistla (eds.)

(Lecture notes in computer science;1855)

所蔵情報を非表示

1

本郷キャンパス

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

保存書庫
3

駒場Ⅰキャンパス

配架場所 巻 次 請求記号 登録番号 状 態 文庫区分 刷 年 コメント
数理科学・保存
RO:Computer 8010267675


書誌詳細を非表示

出版者 Berlin : Springer
出版年 c2000
大きさ x, 582 p. : ill. ; 24 cm
一般注記 Includes bibliographical references and index
著者標目 *CAV (Conference) (12th : 2000 : Chicago, USA)
Emerson, E. Allen
Sistla, A. Prasad
件 名 LCSH:Computer software -- Verification -- Congresses
LCSH:Electronic digital computers -- Evaluation -- Congresses
本文言語 英語
書誌ID 2001205808
ISBN 3540677704
NCID BA47498408 WCLINK

類似資料

  1. 1 Computer aided verification : 3rd international workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991 : proceedings / K.G. Larsen, A. Skou (eds.)
  2. 2 Computer aided verification : 11th International Conference, CAV '99, Trento, Italy, July 6-10, 1999 : proceedings / Nicolas Halbwachs, Doron Peled (eds.)
  3. 3 Computer aided verification : 8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31-August 3, 1996 : proceedings / Rajeev Alur, Thomas A. Henzinger, (eds.)
  4. 4 Computer aided verification : 6th International Conference, CAV '94, Stanford, California, USA, June 21-23, 1994 : proceedings / David L. Dill (ed.)
  5. 5 Computer aided verification : Fourth International Workshop, CAV '92, Montreal, Canada, June 29-July 1, 1992 : proceedings / G.v. Bochmann, D.K. Probst (eds.)
  6. 6 Computer aided verification : 5th International Conference, CAV '93, Elounda, Greece, June 28-July 1, 1993 : proceedings / Costas Courcoubetis (ed.)
  7. 7 Computer aided verification : 9th International Conference, CAV '97, Haifa, Israel, June 22-25, 1997 : proceedings / Orna Grumberg (ed.)
  8. 8 Computer aided verification : 10th International Conference, CAV '98, Vancouver, BC, Canada, June 28-July 2, 1998 : proceedings / Alan J. Hu, Moshe Y. Vardi (eds.)
  9. 9 Computer aided verification : 7th International Conference, CAV '95, Liège, Belgium, July 3-5, 1995 : proceedings / Pierre Wolper (ed.)
  10. 10 Proceedings of the Fifth International Workshop on Software and Performance : WOSP '05, Palma, Illes Balears, Spain, July 12-14, 2005 / sponsored by Association for Computing Machinery SIGMETRICS and SIGSOFT ; in cooperation with Computer Measurement Group (CMG), IFIP WG 6.3 and 7.3

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