<図書>

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

(Lecture notes in computer science;670)

所蔵情報を非表示

1

本郷キャンパス

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

6586/保存書庫

書誌詳細を非表示

出版者 Berlin ; New York : Springer-Verlag
出版年 c1993
大きさ xi, 689 p. : ill. ; 24 cm
別書名 異なりアクセスタイトル:FME '93
一般注記 Includes bibliographical references
著者標目 *International Symposium of Formal Methods Europe (1st : 1993 : Odense, Denmark)
Woodcock, James
Larsen, P. G. (Peter Gorm), 1964-
件 名 LCSH:Computer software -- Development -- Congresses
分 類 LCC:QA76.76.D47
DC20:005.13/1
NDC8:007.63
本文言語 英語
書誌ID 2000299091
ISBN 0387566627
NCID BA19830255 WCLINK

類似資料

  1. 1 Advances in Distributed Computing (ADC) and Colloquium on Combining Paradigms for Software Development (CCPSD) / S. Abramsky, T.S.E. Maibaum, (eds.)
  2. 2 Colloquium on Trees in Algebra and Programming (CAAP '91) / S. Abramsky, T.S.E. Maibaum, (eds.)
  3. 3 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.)
  4. 4 Software development environments and CASE technology : European symposium, Königswinter, June 17-19, 1991 : proceedings / A. Endres, H. Weber, eds
  5. 5 Formal methods and software development : Colloquium on Software Engineering (CSE) / edited by Hartmut Ehrig ... [et al.]
  6. 6 Conditional term rewriting systems : Third International Workshop, CTRS-92, Pont-à-Mousson, France, July 8-10, 1992 : proceedings / M. Rusinowitch, J.L. Rémy (eds.)
  7. 7 Mathematical foundations of software development : Colloquium on Trees in Algebra and Programming (CAAP '85) / edited by Hartmut Ehrig ... [et al.]
  8. 8 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.)
  9. 9 KORSO : methods, languages, and tools for the construction of correct software : final report / Manfred Broy, Stefan Jähnichen (eds.)
  10. 10 FME 2001: formal methods for increasing software productivity : International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001 : proceedings / José Nuno Oliveira, Pamela Zave (eds.)

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