<図書>

Algebraic methods : theory, tools and applications / M. Wirsing, J.A. Bergstra, eds

(Lecture notes in computer science;394, 490)

所蔵情報を非表示

1

本郷キャンパス

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

5820/保存書庫
理7・CS図 : [1] 39:L:1.394 2012256877

5161/保存書庫

書誌詳細を非表示

出版者 Berlin ; Tokyo : Springer-Verlag
出版年 c1989-c1991
大きさ 2 v. ; 25 cm
別書名 異なりアクセスタイトル:Algebraic methods II
異なりアクセスタイトル:Algebraic methods 2
一般注記 [1]: Proceedings of a workshop held on June 9-11 1987 in Passau, Germany
2: Based on a workshop held in Mierlo, The Netherlands, in September 1989
2: J.A. Bergstra, L.M.G. Feijs (eds)
Includes bibliographical references and indexes
著者標目 Wirsing, M. (Martin)
Bergstra, J. A.
Feijs, L. M. G. (Loe M. G.)
*Workshop on "Algebraic Methods: Theory, Tools and Applications"
件 名 LCSH:Computer software -- Development -- Congresses
LCSH:Algebra -- Congresses
分 類 LCC:QA76.76.D47
DC20:005.1/01/512
NDC8:007.6
本文言語 英語
書誌ID 2000187383
ISBN 3540516980
NCID BA07485342 WCLINK

類似資料

  1. 1 Algebraic methodology and software technology (AMAST'93) : proceedings of the Third International Conference on Algebraic Methodology and Software Technology, University of Twente, Enschede, The Netherlands, 21-25 June 1993 / M. Nivat ... [et al.] (eds.)
  2. 2 Algebraic methodology and software technology : (AMAST '91) : proceedings of the Second International Conference on Algebraic Methodology and Software Technology, Iowa City, USA, 22-25 May 1991 / M. Nivat ... [et al.] (eds.)
  3. 3 VDM '87 : VDM, a formal method at work : VDM-Europe symposium 1987, Brussels, Belgium, March 23-26, 1987 : proceedings / edited by D. Bjørner ... [et al.]
  4. 4 FME 2001: formal methods for increasing software productivity : International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001 : proceedings / José Nuno Oliveira, Pamela Zave (eds.)
  5. 5 Software process technology : 7th European Workshop, EWSPT 2000, Kaprun, Austria, February 21-25, 2000 : proceedings / Reidar Conradi (ed.)
  6. 6 FME 2002 : formal methods - getting IT right : International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 : proceedings / Lars-Henrik Eriksson, Peter Alexander Lindsay (eds.)
  7. 7 Software process technology : 8th European Workshop, EWSPT 2001, Witten, Germany, June 19-21, 2001 : proceedings / Vincenzo Ambriola (ed.)
  8. 8 《UML》 2000 - the unified modeling language : advancing the standard : Third International Conference, York, UK, October 2-6, 2000 : proceedings / Andy Evans, Stuart Kent, Bran Selic (eds.)
  9. 9 《UML》 2001 - the Unified Modeling Language : modeling languages, concepts, and tools : 4th International Conference, Toronto, Canada, October 1-5, 2001 : proceedings / Martin Gogolla, Cris Kobryn (ed.)
  10. 10 《UML》 2003 - the Unified Modeling Language : modeling languages and applications : 6th International Conference, San Francisco, CA, USA, October 20-24, 2003 : proceedings / Perdita Stevens, Jon Whittle, Grady Booch (eds.)

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