<図書>

FME '97 : industrial applications and strengthened foundations of formal methods : 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997 : proceedings / John Fitzgerald, Cliff B. Jones, Peter Lucas, (eds.)

(Lecture notes in computer science;1313)

所蔵情報を非表示

1

本郷キャンパス

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

8700/保存書庫

書誌詳細を非表示

出版者 Berlin ; New York : Springer
出版年 c1997
大きさ xiii, 684 p. : ill. ; 24 cm
別書名 異なりアクセスタイトル:Industrial applications and strengthened foundations of formal methods
一般注記 Includes bibliographical references and index
著者標目 *International Symposium of Formal Methods Europe (4th : 1997 : Graz, Austria)
Fitzgerald, John, 1965-
Jones, Cliff B., 1944-
Lucas, Peter, 1955-
件 名 LCSH:System design -- Methodology -- Congresses
LCSH:Computer software -- Development -- Congresses
分 類 LCC:QA76.9.S88
LCC:QA76.76.D47
DC21:005.1/01/5113
本文言語 英語
書誌ID 2000627510
ISBN 3540635335
NCID BA32267015 WCLINK

類似資料

  1. 1 FME '94 : industrial benefit of formal methods : Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-28, 1994 : proceedings / Maurice Naftalin, Tim Denvir, Miquel Bertran (eds.)
  2. 2 Tools and algorithms for the construction and analysis of systems : 6th International Conference, TACAS 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings / Susanne Graf, Michael Schwartzbach (eds.)
  3. 3 Tools and algorithms for the construction and analysis of systems : 7th International Conference, TACAS 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings / Tiziana Margaria, Wang Yi (eds.)
  4. 4 FME '96, industrial benefit and advances in formal methods : Third International Symposium of Formal Methods Europe co-sponsored by IFIP WG 14.3, Oxford, UK, March 18-22, 1996 : proceedings / Marie-Claude Gaudel, James Woodcock, (eds.)
  5. 5 FME 2003 : formal methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 : proceedings / Keijiro Araki, Stefania Gnesi, Dino Mandrioli (eds.)
  6. 6 Advances in exception handling techniques / Alexander Romanovsky ... [et al.] (eds.)
  7. 7 Tools and algorithms for the construction and analysis of systems : Third International Workshop, TACAS ʾ97, Enschede, The Netherlands, April 2-4, 1997 : proceedings / Ed Brinksma (ed.)
  8. 8 Tools and algorithms for the construction and analysis of systems : 4th International Conference, TACAS'98 held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28-April 4, 1998, proceedings / Bernhard Steffen, ed.
  9. 9 Tools and algorithms for the construction and analysis of systems : 5th International Conference, TACAS'99, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999 : proceedings / W. Rance Cleaveland (ed.)
  10. 10 Application development systems : the inside story of multinational product development / edited by Tosiyasu L. Kunii

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