<図書>

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

(Lecture notes in computer science;668)

所蔵情報を非表示

1

本郷キャンパス

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

6584/保存書庫

書誌詳細を非表示

出版者 Berlin ; New York : Springer-Verlag
出版年 c1993
大きさ xii, 761 p. : ill. ; 24 cm
別書名 異なりアクセスタイトル:Theory and practice of software development
一般注記 Includes bibliographical references and index
著者標目 *International Joint Conference on Theory and Practice of Software Development (4th : 1993 : Orsay, France)
Gaudel, M.-C. (Marie-Claude)
Jouannaud, Jean-Pierre
Colloquium on Trees in Algebra and Programming (1993 : Orsay, France)
Colloquium on Formal Approaches of Software Engineering (1993 : Orsay, France)
件 名 LCSH:Computer software -- Development -- Congresses
分 類 LCC:QA76.76.D47
DC20:005.1
NDC8:007.63
本文言語 英語
書誌ID 2000299084
ISBN 3540566104
NCID BA19829595 WCLINK

類似資料

  1. 1 Software development environments and CASE technology : European symposium, Königswinter, June 17-19, 1991 : proceedings / A. Endres, H. Weber, eds
  2. 2 Advances in Distributed Computing (ADC) and Colloquium on Combining Paradigms for Software Development (CCPSD) / S. Abramsky, T.S.E. Maibaum, (eds.)
  3. 3 Colloquium on Trees in Algebra and Programming (CAAP '91) / S. Abramsky, T.S.E. Maibaum, (eds.)
  4. 4 KORSO : methods, languages, and tools for the construction of correct software : final report / Manfred Broy, Stefan Jähnichen (eds.)
  5. 5 VDM '90 : VDM and Z : formal methods in software development : Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, proceedings / D. Bjørner, C.A.R. Hoare, H. Langmaack (eds.)
  6. 6 Software process technology : 5th European workshop, EWSPT '96, Nancy, France, October 9-11, 1996 : proceedings / Carlo Montangero (ed.)
  7. 7 TAPSOFT '95 : theory and practice of software development : 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995 : proceedings / Peter D. Mosses, Mogens Nielsen, Michael I. Schwartzbach, (eds.)
  8. 8 Software process technology : 4th European Workshop, EWSPT '95, Noordwijkerhout, The Netherlands, April 3-5, 1995 : proceedings / Wilhelm Schäfer, (ed.)
  9. 9 TAPSOFT '97 : theory and practice of software development : 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997 : proceedings / Michel Bidoit, Max Dauchet (eds.)
  10. 10 Software process technology : 6th European workshop, EWSPT '98, Weybridge, UK, September 16-18, 1998 : proceedings / Volker Gruhn (ed.)

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