<図書>

Program development by specification and transformation : the PROSPECTRA methodology, language family, and system / Berthold Hoffmann, Bernd Krieg-Brückner, (eds.)

(Lecture notes in computer science;680)

所蔵情報を非表示

1

本郷キャンパス

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

6748/保存書庫

書誌詳細を非表示

出版者 Berlin ; New York : Springer-Verlag
出版年 c1993
大きさ xiv, 623 p. : ill. ; 24 cm
一般注記 Includes bibliographical references and index
著者標目 Hoffmann, Berthold, 1953-
Krieg-Brückner, B. (Bernd)
件 名 LCSH:Computer software -- Development
分 類 LCC:QA76.76.D47
DC20:005.1
本文言語 英語
書誌ID 2000305260
ISBN 038756733X
NCID BA20903946 WCLINK

類似資料

  1. 1 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
  2. 2 Distributed environments : software paradigms and workstations / Y. Ohno (ed.)
  3. 3 Specification and transformation of programs : a formal approach to software development / Helmut A. Partsch
  4. 4 Prototyping : an approach to evolutionary system development / Reinhard Budde ... [et al.] ; with the cooperation of Philip Bacon
  5. 5 Exploiting chaos : cashing in on the realities of software development / Dave Olson
  6. 6 The Programmer's apprentice / Charles Rich, Richard C. Waters
  7. 7 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.)
  8. 8 Software process technology : 5th European workshop, EWSPT '96, Nancy, France, October 9-11, 1996 : proceedings / Carlo Montangero (ed.)
  9. 9 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.)
  10. 10 Software process technology : 4th European Workshop, EWSPT '95, Noordwijkerhout, The Netherlands, April 3-5, 1995 : proceedings / Wilhelm Schäfer, (ed.)

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