<図書>

VDM '91 : formal software development methods : 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991 : proceedings / S. Prehn, W.J. Toetenel, (eds.)

(Lecture notes in computer science;551, 552)

所蔵情報を非表示

1

本郷キャンパス

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

6043/保存書庫
理7・CS図 v. 2 : Berlin 39:L:1.552 2012373425

6044/保存書庫

書誌詳細を非表示

出版者 Berlin ; Tokyo : Springer-Verlag
出版年 c1991
大きさ 2 v. : ill. ; 25 cm
一般注記 v. 1. Conference contributions
v. 2. Tutorials
Includes bibliographical references and index
著者標目 *VDM-Europe. International Symposium (4th : 1991 : Noordwijkerhout, Netherlands)
Prehn, S. (Søren), 1955-
Toetenel, H. (Hans), 1953-
件 名 LCSH:Computer software -- Development -- Congresses
分 類 LCC:QA76.76.D47
DC20:005.1
NDC8:007.64
本文言語 英語
書誌ID 2000214441
ISBN 3540548343
NCID BA13320187 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 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.)
  4. 4 Software process technology : 4th European Workshop, EWSPT '95, Noordwijkerhout, The Netherlands, April 3-5, 1995 : proceedings / Wilhelm Schäfer, (ed.)
  5. 5 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.)
  6. 6 Software process technology : 6th European workshop, EWSPT '98, Weybridge, UK, September 16-18, 1998 : proceedings / Volker Gruhn (ed.)
  7. 7 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
  8. 8 Distributed environments : software paradigms and workstations / Y. Ohno (ed.)
  9. 9 Specification and transformation of programs : a formal approach to software development / Helmut A. Partsch
  10. 10 Prototyping : an approach to evolutionary system development / Reinhard Budde ... [et al.] ; with the cooperation of Philip Bacon

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