<図書>

KORSO : methods, languages, and tools for the construction of correct software : final report / Manfred Broy, Stefan Jähnichen (eds.)

(Lecture notes in computer science;1009)

所蔵情報を非表示

1

本郷キャンパス

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

7868/保存書庫

書誌詳細を非表示

出版者 Berlin ; New York : Springer
出版年 c1995
大きさ x, 449 p. : ill. ; 24 cm
一般注記 Includes bibliographical references
著者標目 Broy, M., 1949-
Jähnichen, Stefan
件 名 LCSH:Computer software -- Development
分 類 NDC9:007.63
LCC:QA76.76.D47
DC20:005.1
本文言語 英語
書誌ID 2000410969
ISBN 3540605894
NCID BA26362146 WCLINK

類似資料

  1. 1 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.)
  2. 2 Software development environments and CASE technology : European symposium, Königswinter, June 17-19, 1991 : proceedings / A. Endres, H. Weber, eds
  3. 3 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
  4. 4 Distributed environments : software paradigms and workstations / Y. Ohno (ed.)
  5. 5 Specification and transformation of programs : a formal approach to software development / Helmut A. Partsch
  6. 6 Prototyping : an approach to evolutionary system development / Reinhard Budde ... [et al.] ; with the cooperation of Philip Bacon
  7. 7 Exploiting chaos : cashing in on the realities of software development / Dave Olson
  8. 8 Program development by specification and transformation : the PROSPECTRA methodology, language family, and system / Berthold Hoffmann, Bernd Krieg-Brückner, (eds.)
  9. 9 The Programmer's apprentice / Charles Rich, Richard C. Waters
  10. 10 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.)

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