<図書>

SPIN model checking and software verification : 7th International SPIN Workshop, Stanford, CA, USA, August 30-September 1, 2000 : proceedings / Klaus Havelund, John Penix, Willem Visser (eds.)

(Lecture notes in computer science;1885)

所蔵情報を非表示

1

本郷キャンパス

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

保存書庫
3

駒場Ⅰキャンパス

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


書誌詳細を非表示

出版者 Berlin : Springer
出版年 c2000
大きさ x, 342 p. : ill. ; 24 cm
一般注記 Includes bibliographical references and index
著者標目 *SPIN (7th : 2000 : Stanford, USA)
Havelund, Klaus, 1955-
Penix, John, 1970-
Visser, Willem, 1968-
件 名 LCSH:Computer software -- Verification -- Congresses
LCSH:SPIN (Computer file) -- Congresses
分 類 LCC:QA76.76.V47
本文言語 英語
書誌ID 2001207171
ISBN 3540410309
NCID BA48031889 WCLINK

類似資料

  1. 1 Model Checking Software : 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002 : proceedings / Dragan Bošnački, Stefan Leue (eds.)
  2. 2 Model checking software : 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : proceedings / Matthew Dwyer (ed.)
  3. 3 Model checking software : 10th International SPIN Workshop, Portland, OR, USA, May 9-10, 2003 : proceedings / Thomas Ball, Sriram K. Rajamani (eds.)
  4. 4 Theoretical and practical aspects of SPIN model checking : 5th and 6th International SPIN workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999 : proceedings / Dennis Dams ... [et al.], (eds.)
  5. 5 The SPIN verification system : the second Workshop on the SPIN Verification System : proceedings of a DIMACS workshop, August 5, 1996 / Jean-Charles Grégoire, Gerard J. Holzmann, Doron A. Peled, editors
  6. 6 Computer aided verification : 14th International Conference, CAV 2002, Copenhagen, Denmark, July 27-31, 2002 : proceedings / Ed Brinksma, Kim Guldstrand Larsen (eds.)
  7. 7 Computer aided verification : 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001 : proceedings / Gérard Berry, Hubert Comon, Alain Finkel (eds.)
  8. 8 Computer aided verification : 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004 : proceedings / Rajeev Alur, Doron A. Peled (eds.)
  9. 9 Computer aided verification : 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003 : proceedings / Warren A. Hunt, Jr., Fabio Somenzi (eds.)
  10. 10 Verification : theory and practice : essays dedicated to Zohar Manna on the occasion of his 64th birthday / Nachum Dershowitz (ed.)

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