<図書>

Mathematical methods of specification and synthesis of software systems '85 : proceedings of the International Spring School, Wendisch-Rietz, GDR, April 22-26, 1985 / edited by W. Bibel and K.P. Jantke

(Lecture notes in computer science;215)

所蔵情報を非表示

1

本郷キャンパス

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

保存書庫

書誌詳細を非表示

出版者 Berlin ; Tokyo : Springer-Verlag
出版年 c1986
大きさ 245 p. ; 25 cm
著者標目 Bibel, Wolfgang, 1938-
Jantke, K. P. (Klaus P.)
*Workshop on Mathematical Methods of Specification and Synthesis of Software Systems (1985 : Wendisch-Rietz)
件 名 LCSH:Computer software
分 類 NDC8:007.63
本文言語 英語
書誌ID 2000029469
ISBN 3540164448
NCID BA0050992X WCLINK

類似資料

  1. 1 Theoretical aspects of computer software : International Conference TACS'91, Sendai, Japan, September 24-27, 1991 : proceedings / T. Ito, A.R. Meyer, (eds.)
  2. 2 Advances in Distributed Computing (ADC) and Colloquium on Combining Paradigms for Software Development (CCPSD) / S. Abramsky, T.S.E. Maibaum, (eds.)
  3. 3 Colloquium on Trees in Algebra and Programming (CAAP '91) / S. Abramsky, T.S.E. Maibaum, (eds.)
  4. 4 Advanced information systems engineering : 6th International Conference, CAiSE '94, Utrecht, The Netherlands, June 6-10, 1994 : proceedings / Gerard Wijers, Sjaak Brinkkemper, Tony Wasserman (eds.)
  5. 5 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.)
  6. 6 FME'93 : industrial--strength formal methods : first International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993 : proceedings / J.C.P. Woodcock, P.G. Larsen (eds.)
  7. 7 Advanced information systems engineering : 5th International Conference, CAiSE '93, Paris, France, June 8-11, 1993 : proceedings / Colette Rolland, François Bodart, Corine Cauvet, (eds.)
  8. 8 Advanced information systems engineering : 7th International Conference, CAiSE '95, Jyväskylä, Finland, June 12-16, 1995 : proceedings / Juhani Iivari, Kalle Lyytinen, Matti Rossi (eds.)
  9. 9 Advanced information systems engineering : Third International Conference CAiSE '91, Trondheim, Norway, May 13-15, 1991 : proceedings / R. Andersen, J.A. Bubenko Jr., A. Sølvberg, (eds.)
  10. 10 Software tools / Brian W. Kernighan, P. J. Plauger

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