<図書>

Computer aided verification : 8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31-August 3, 1996 : proceedings / Rajeev Alur, Thomas A. Henzinger, (eds.)

(Lecture notes in computer science;1102)

所蔵情報を非表示

1

本郷キャンパス

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

8127/保存書庫

書誌詳細を非表示

出版者 Berlin ; New York : Springer-Verlag
出版年 c1996
大きさ xii, 472 p. : ill. ; 24 cm
一般注記 Includes bibliographical references and index
著者標目 *CAV (Conference) (8th : 1996 : New Brunswick, NJ, USA)
Alur, Rajeev, 1966-
Henzinger, T. A. (Thomas A.)
件 名 LCSH:Computer software -- Verification -- Congresses
LCSH:Electronic digital computers -- Evaluation -- Congresses
分 類 LCC:QA76.76.V47
LCC:QA76.76.E93
DC20:511.3/0285
NDC8:007.63
NDC8:549.7
本文言語 英語
書誌ID 2000496397
ISBN 3540614745
NCID BA2806636X WCLINK

類似資料

  1. 1 Computer aided verification : 11th International Conference, CAV '99, Trento, Italy, July 6-10, 1999 : proceedings / Nicolas Halbwachs, Doron Peled (eds.)
  2. 2 Computer aided verification : 6th International Conference, CAV '94, Stanford, California, USA, June 21-23, 1994 : proceedings / David L. Dill (ed.)
  3. 3 Computer aided verification : 5th International Conference, CAV '93, Elounda, Greece, June 28-July 1, 1993 : proceedings / Costas Courcoubetis (ed.)
  4. 4 Computer aided verification : 9th International Conference, CAV '97, Haifa, Israel, June 22-25, 1997 : proceedings / Orna Grumberg (ed.)
  5. 5 Computer aided verification : 10th International Conference, CAV '98, Vancouver, BC, Canada, June 28-July 2, 1998 : proceedings / Alan J. Hu, Moshe Y. Vardi (eds.)
  6. 6 Computer aided verification : 7th International Conference, CAV '95, Liège, Belgium, July 3-5, 1995 : proceedings / Pierre Wolper (ed.)
  7. 7 Computer aided verification : Fourth International Workshop, CAV '92, Montreal, Canada, June 29-July 1, 1992 : proceedings / G.v. Bochmann, D.K. Probst (eds.)
  8. 8 Computer aided verification : 3rd international workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991 : proceedings / K.G. Larsen, A. Skou (eds.)
  9. 9 Computer aided verification : 14th International Conference, CAV 2002, Copenhagen, Denmark, July 27-31, 2002 : proceedings / Ed Brinksma, Kim Guldstrand Larsen (eds.)
  10. 10 Computer aided verification : 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001 : proceedings / Gérard Berry, Hubert Comon, Alain Finkel (eds.)

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