<図書>

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.)

(Lecture notes in computer science;1051)

所蔵情報を非表示

1

本郷キャンパス

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

7976/保存書庫

書誌詳細を非表示

出版者 Berlin ; New York : Springer-Verlag
出版年 c1996
大きさ xii, 704 p. : ill. ; 24 cm
一般注記 Includes bibliographical references and index
著者標目 *International Symposium of Formal Methods Europe (3rd : 1996 : Oxford, England)
Gaudel, M.-C. (Marie-Claude)
Woodcock, James
件 名 LCSH:Computer software -- Development -- Congresses
分 類 NDC9:007.63
LCC:QA76.76.D47
DC20:005.1/01/5113
本文言語 英語
書誌ID 2000490618
ISBN 3540609733
NCID BA27378822 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 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.)
  3. 3 KORSO : methods, languages, and tools for the construction of correct software : final report / Manfred Broy, Stefan Jähnichen (eds.)
  4. 4 Studies of software design : ICSE '93 Workshop, Baltimore, Maryland, USA, May 17-18, 1993 : selected papers / David Alex Lamb, (ed.)
  5. 5 Theoretical aspects of computer software : international symposium TACS '94, Sendai, Japan, April 19-22, 1994 ; proceedings / Masami Hagiya, John C. Mitchell, eds
  6. 6 Theoretical aspects of computer software : Third International Symposium, TACS '97, Sendai, Japan, September 23-26, 1997 ; proceedings / Martín Abadi, Takayasu Ito (eds.)
  7. 7 Advances in Distributed Computing (ADC) and Colloquium on Combining Paradigms for Software Development (CCPSD) / S. Abramsky, T.S.E. Maibaum, (eds.)
  8. 8 Colloquium on Trees in Algebra and Programming (CAAP '91) / S. Abramsky, T.S.E. Maibaum, (eds.)
  9. 9 TAPSOFT '93 : theory and practice of software development : 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993 : proceedings / M.-C. Gaudel, J.-P. Jouannaud (eds.)
  10. 10 FME'93 : industrial--strength formal methods : first International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993 : proceedings / J.C.P. Woodcock, P.G. Larsen (eds.)

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