<図書>

Integrated formal methods : second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 : proceedings / Wolfgang Grieskamp, Thomas Santen, Bill Stoddart (eds.)

(Lecture notes in computer science;1945)

所蔵情報を非表示

1

本郷キャンパス

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

保存書庫

書誌詳細を非表示

出版者 Berlin : Springer
出版年 c2000
大きさ x, 439 p. : ill. ; 24 cm
一般注記 Includes bibliographical references and index
著者標目 *International Conference on Integrated Formal Methods (2nd : 2000 : Dagstuhl Castle, Germany)
Grieskamp, Wolfgang, 1960-
Santen, Thomas, 1965-
Stoddart, Bill, 1946-
件 名 LCSH:Formal methods (Computer science) -- Congresses
分 類 LCC:QA76.9.F67
本文言語 英語
書誌ID 2001217470
ISBN 3540411968
NCID BA49106972 WCLINK

類似資料

  1. 1 Integrated formal methods : third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002 : proceedings / Michael Butler, Luigia Petre, Kaisa Sere (eds.)
  2. 2 Integrated formal methods : 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004 : proceedings / Eerke A. Boiten, John Derrick, Graeme Smith (eds.)
  3. 3 FM '99 - Formal Methods : World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : proceedings / Jeannette M. Wing, Jim Woodcock, Jim Davies (eds.)
  4. 4 Formal techniques for networked and distributed systems - FORTE 2004 : 24th IFIP WG 6.1 International Conference, Madrid, Spain, September 27-30, 2004 : proceedings / David de Frutos-Escrig, Manuel Núñes (eds.)
  5. 5 Formal techniques for networked and distributed systems, FORTE 2003 : 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29 - October 2, 2003, proceedings / Hartmut König, Monika Heiner, Adam Wolisz (eds.)
  6. 6 Applied formal methods - FM-Trends 98 : International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998 : proceedings / Dieter Hutter ... [et al.] (eds.)
  7. 7 FMICS'05 : proceedings of the Tenth International Workshop on Formal Methods for Industrial Critical Systems, September 5-6, 2005, Lisbon, Portugal, co-located with ESEC/FSE'05 / editors, Tiziana Margaria & Mieke Massink ; sponsored by ACM SIGSOFT
  8. 8 Formal methods for protocol engineering and distributed systems : FORTE XII/PSTV XIX'99 : IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XII) and Protocol Specification, Testing, and Verification (PSTV XIX) : October 5-8, 1999, Beijing, China / edited by Jianping Wu, Samuel T. Chanson, Qiang Gao
  9. 9 Formal approaches to software testing : third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003 : revised papers / Alexandre Petrenko, Andreas Ulrich (eds.)
  10. 10 Formal methods for real-time and probabilistic systems : 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999 : proceedings / Joost-Pieter Katoen (ed.)

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