<図書>

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

(Lecture notes in computer science;915)

所蔵情報を非表示

1

本郷キャンパス

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

7547/保存書庫
3

駒場Ⅰキャンパス

配架場所 巻 次 請求記号 登録番号 状 態 文庫区分 刷 年 コメント
数理科学・保存
RO:TAPSOFT 8010118704


書誌詳細を非表示

出版者 Berlin ; New York ; Tokyo : Springer
出版年 c1995
大きさ xv, 810 p. : ill. ; 24 cm
一般注記 "TAPSOFT '95 is the Sixth International Joint Conference on the Theory and Practice of Software Development"--Pref
Includes bibliographical references and index
著者標目 *International Joint Conference on Theory and Practice of Software Development (6th : 1995 : Aarhus, Denmark)
Mosses, Peter D.
Nielsen, M. (Mogens), 1949-
Schwartzbach, Michael I
Colloquium on Trees in Algebra and Programming (1995 : Aarhus, Denmark)
Colloquium on Formal Approaches of Software Engineering (1995 : Aarhus, Denmark)
件 名 LCSH:Computer software -- Development -- Congresses
分 類 LCC:QA76.76.D47
DC20:005.1
本文言語 英語
書誌ID 2000402708
ISBN 3540592938
NCID BA25034425 WCLINK

類似資料

  1. 1 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.)
  2. 2 Software process technology : 5th European workshop, EWSPT '96, Nancy, France, October 9-11, 1996 : proceedings / Carlo Montangero (ed.)
  3. 3 Software process technology : 4th European Workshop, EWSPT '95, Noordwijkerhout, The Netherlands, April 3-5, 1995 : proceedings / Wilhelm Schäfer, (ed.)
  4. 4 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.)
  5. 5 Software process technology : 6th European workshop, EWSPT '98, Weybridge, UK, September 16-18, 1998 : proceedings / Volker Gruhn (ed.)
  6. 6 Mathematical structures for software engineering : based on the proceedings of a conference organized by the Systems and Software Engineering Specialist Group of the Institute of Mathematics and its Applications held at Manchester Polytechnic in July 1988 / edited by Bernard De Neumann, Dan Simpson, Gil Slater
  7. 7 Distributed environments : software paradigms and workstations / Y. Ohno (ed.)
  8. 8 Specification and transformation of programs : a formal approach to software development / Helmut A. Partsch
  9. 9 Prototyping : an approach to evolutionary system development / Reinhard Budde ... [et al.] ; with the cooperation of Philip Bacon
  10. 10 Exploiting chaos : cashing in on the realities of software development / Dave Olson

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