<図書>

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.)

(Lecture notes in computer science;1827)

所蔵情報を非表示

1

本郷キャンパス

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

保存書庫
3

駒場Ⅰキャンパス

配架場所 巻 次 請求記号 登録番号 状 態 文庫区分 刷 年 コメント
数理科学・保存
RO:Recent 8010272147


書誌詳細を非表示

出版者 Berlin : Springer
出版年 c2000
大きさ x, 476 p. : ill. ; 24 cm
一般注記 Includes bibliographical references and index
著者標目 *WADT (14th : 1999 : Château de Bonas, France)
Bert, Didier
Choppy, C. (Christine)
Mosses, Peter D.
件 名 LCSH:Computer software -- Development -- Congresses
LCSH:Computer science -- Mathematics -- Congresses
LCSH:Abstract data types (Computer science) -- Congresses
分 類 LCC:QA76.76.D47
本文言語 英語
書誌ID 2001208212
ISBN 3540678980
NCID BA48322462 WCLINK

類似資料

  1. 1 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.)
  2. 2 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.)
  3. 3 Recent trends in algebraic development techniques : 13th International Workshop, WADT '98, Lisbon, Portugal, April 2-4, 1998 : selected papers / José Luiz Fiadeiro (ed.)
  4. 4 Recent trends in algebraic development techniques : 12th International Workshop, WADT '97, Tarquinia, Italy, June 3-7, 1997 : selected papers / Francesco Parisi Presicce, (ed.)
  5. 5 FME 2003 : formal methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 : proceedings / Keijiro Araki, Stefania Gnesi, Dino Mandrioli (eds.)
  6. 6 《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.)
  7. 7 《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.)
  8. 8 《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.)
  9. 9 《UML》 2004 - the Unified Modeling Language : modeling languages and applications : 7th International Conference, Lisbon, Portugal, October 11-15, 2004 : proceedings / Thomas Baar ... [et al.], (eds.)
  10. 10 UML Modeling Languages and Applications : 《UML》 2004 Satellite Activities Lisbon, Portugal, October 11-15, 2004 : revised selected papers / Nuno Jardim Nunes ... [et al.], (eds.)

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