<図書>

Recent trends in algebraic development techniques : 13th International Workshop, WADT '98, Lisbon, Portugal, April 2-4, 1998 : selected papers / José Luiz Fiadeiro (ed.)

(Lecture notes in computer science;1589)

所蔵情報を非表示

1

本郷キャンパス

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

保存書庫

書誌詳細を非表示

出版者 Berlin ; New York : Springer
出版年 c1999
大きさ x, 340 p. : ill. ; 24 cm
一般注記 Includes bibliographical references
著者標目 *WADT (13th : 1998 : Lisbon, Portugal)
Fiadeiro, José Luiz, 1961-
件 名 LCSH:Computer software -- Development Congresses
LCSH:Computer science -- Mathematics Congresses
LCSH:Abstract data types (Computer science) Congresses
分 類 LCC:QA76.76.D47
DC21:005.1
本文言語 英語
書誌ID 2000975196
ISBN 3540662464
NCID BA42599601 WCLINK

類似資料

  1. 1 Recent trends in algebraic development techniques : 12th International Workshop, WADT '97, Tarquinia, Italy, June 3-7, 1997 : selected papers / Francesco Parisi Presicce, (ed.)
  2. 2 Recent trends in algebraic development techniques : 14th International Workshop, WADT'99, Château de Bonas, September 15-18, 1999 : selected papers / Didier Bert, Christine Choppy, Peter Mosses (eds.)
  3. 3 Recent Trends in Algebraic Development Techniques : 15th International Workshop, WADT 2001, joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001 : selected papers / Maura Cerioli, Gianna Reggio (eds.)
  4. 4 Recent trends in algebraic development techniques : 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002 : revised selected papers / Martin Wirsing, Dirk Pattinson, Rolf Hennicker (eds.)
  5. 5 The unified modeling language reference manual / James Rumbaugh, Ivar Jacobson, Grady Booch
  6. 6 Embedded software : Second International Conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002 : proceedings / Alberto Sangiovanni-Vincentelli, Joseph Sifakis (eds.)
  7. 7 Embedded software : First International Workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8-10, 2001 : proceedings / Thomas A. Henzinger, Christoph M. Kirsch (eds.)
  8. 8 Software architectures for product families : International Workshop IW-SAPF-3, Las Palmas de Gran Canaria, Spain, March 15-17, 2000 : proceedings / Frank van der Linden (ed.)
  9. 9 Industrial strength software : effective management using measurement / Lawrence H. Putnam, Ware Myers
  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.)

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