文理学部OPAC

ようこそ  ゲスト さん

<図書>

Algebraic methodology and software technology : 6th international conference, AMASTʾ97, Sydney, Australia, December 13-17, 1997 : proceedings / Michael Johnson (ed.)

(Lecture notes in computer science;1349)
著者標目 *International Conference on Algebraic Methodology and Software Technology (6th : 1997 : Sydney, Australia)
Johnson, Michael
データ種別 図書
出版者 Berlin ; Tokyo : Springer-Verlag
出版年 c1997
大きさ x, 594 p. ; 24 cm

所蔵情報を非表示

配架場所 巻 次 請求記号 資料番号 状 態 コメント ISBN 刷 年 利用注記 予約 資料区分
図書館B2F書庫A(数学移設図書)
418.608||L49||1349 15079719
9783540638889

専門図書(外国語) - 図書

書誌詳細を非表示

一般注記 Includes bibliographical references and index
著者標目 *International Conference on Algebraic Methodology and Software Technology (6th : 1997 : Sydney, Australia)
Johnson, Michael
分 類 LCC:QA76.758
DC21:005.1/01/512
書誌ID 1000149781
ISBN 3540638881
NCID BA3380314X WCLINK
件 名 LCSH:Software engineering -- Congresses
LCSH:Abstract data types (Computer science) -- Congresses
目次
巻冊次 ISBN:3540638881

類似資料

  1. 1
    cover
    Algebraic methodology and software technology : 5th International Conference, AMAST '96, Munich, Germany, July 1-5, 1996 : proceedings / Martin Wirsing, Maurice Nivat (eds.)
  2. 2
    cover
    Algebraic methodology and software technology : 7th International Conference, AMAST '98, Amazonia, Brazil, January 4-8, 1999 : proceedings / Armando Martín Haeberer (eds.)
  3. 3
    cover
    Software engineering : report on a conference sponsored by the NATO Science Committee, Garmisch, Germany, 7th to 11th October 1968 / editors, Peter Naur and Brian Randell
  4. 4
    cover
    Advanced information systems engineering : 4th International Conference CAiSE '92, Manchester, UK, May 12-15, 1992 : proceedings / P. Loucopoulos, (ed.) : Berlin,: New York
  5. 5
    cover
    Advanced information systems engineering : 10th International Conference, CAiSE '98, Pisa, Italy, June 8-12, 1998, proceedings / Barbara Pernici, Costantino Thanos (eds.)
  6. 6
    cover
    ESEC '89 : 2nd European Software Engineering Conference, University of Warwick, Coventry, UK, September, 11-15, 1989 : proceedings / C. Ghezzi, J.A. McDermid (eds.) : gw,: us
  7. 7
    cover
    Software engineering - ESEC/FSE '99 : 7th European Software Engineering Conference held jointly with the 7th ACM SIGSOFT Symposium on the Foundations of Software Engineering, Toulouse, France, September 6-10, 1999 : proceedings / Oscar Nierstrasz, Michel Lemoine (eds.)
  8. 8
    cover
    Fundamental approaches to software engineering : first international conference, FASE'98 held as part of the joint European Conferences on Theory and Practice of Software, ETAPS ʾ98, Lisbon, Portugal, March 28-April 4, 1998 : proceedings / Egidio Astesiano, ed
  9. 9
    cover
    ESEC '91 : 3rd European Software Engineering Conference, ESEC '91, Milan, Italy, October 21-24, 1991 : proceedings / A. van Lamsweerde, A. Fugetta, (eds.) : gw,: us
  10. 10
    cover
    Recent trends in data type specification : 11th Workshop on Specification of Abstract Data Types, joint with the 8th COMPASS Workshop, Oslo, Norway, September 19-23, 1995 : selected papers / Magne Haveraaen, Olaf Owe, Ole-Johan Dahl (eds.)

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