<図書>

Formal foundations for software engineering methods / Heinrich Hußmann

(Lecture notes in computer science;1322)

所蔵情報を非表示

1

本郷キャンパス

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

8727/保存書庫

書誌詳細を非表示

出版者 Berlin ; Tokyo : Springer
出版年 c1997
大きさ x, 286 p. : ill. ; 24 cm
一般注記 Includes bibliographical references (p. [271]-277) and index
著者標目 *Hussmann, Heinrich
件 名 LCSH:Software engineering
分 類 LCC:QA76.758
DC21:005.1/13/015113
本文言語 英語
書誌ID 2000632605
ISBN 3540636137
NCID BA32897250 WCLINK

類似資料

  1. 1 FoSE 2007 : Future of Software Engineering : 23-25 May 2007, Minneapolis, Minnesota / edited by Lionel C. Briand, Alexander L. Wolf
  2. 2 PASTE '07 : proceedings of the 2007 ACM SIGPLAN-SIGSOFT workshop on program analysis for software tools & engineering : San Diego, California, USA, June 13-14, 2007 / sponsored by ACM SIGPLAN & ACM SIGSOFT
  3. 3 ISESE '06 : proceedings of the 5th ACM-IEEE International Symposium on Empirical Software Engineering : September 21-22, 2006, Rio de Janeiro, Brazil / sponsored by IEEE Computer Society, ACM SigSoft
  4. 4 Product focused software process improvement : second International Conference, PROFES 2000, Oulu, Finland, June 20-22, 2000 : proceedings / Frank Bomarius, Markku Oivo (eds.)
  5. 5 Fundamental approaches to software engineering : third International Conference, FASE 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings / Tom Maibaum (ed.)
  6. 6 Generative and component-based software engineering : first International Symposium, GCSE '99, Erfurt, Germany, September 28-30, 1999 : revised papers / Krzysztof Czarnecki, Ulrich W. Eisenecker (eds.)
  7. 7 Generative and component-based software engineering : second international symposium, GCSE 2000, Erfurt, Germany, October 9-12, 2000 : revised papers / Greg Butler, Stan Jarzabek (eds.)
  8. 8 Fundamental approaches to software engineering : 4th International Conference, FASE 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings / Heinrich Hussmann (ed.)
  9. 9 Product focused software process improvement : Third International Conference, PROFES 2001, Kaiserslautern, Germany, September 10-13, 2001 : proceedings / Frank Bomarius, Seija Komi-Sirviö (eds.)
  10. 10 Iterative software engineering for multiagent systems : the MASSIVE method / Jürgen Lind

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