<図書>

Mathematics of program construction : 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000 : proceedings / Roland Backhouse, José Nuno Oliveira (eds.)

(Lecture notes in computer science;1837)

所蔵情報を非表示

1

本郷キャンパス

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

保存書庫

書誌詳細を非表示

出版者 Berlin : Springer
出版年 c2000
大きさ vii, 255 p. : ill. ; 24 cm
一般注記 Includes bibliographical references
著者標目 *International Conference on the Mathematics of Program Construction (5th : 2000 : Ponte de Lima, Portugal)
Backhouse, Roland C., 1948-
Oliveira, José N.
件 名 LCSH:Computer programming -- Congresses
LCSH:Computer science -- Mathematics -- Congresses
分 類 LCC:QA76.6
本文言語 英語
書誌ID 2001205544
ISBN 3540677275
NCID BA47400469 WCLINK

類似資料

  1. 1 Mathematics of program construction : 6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002 : proceedings / Eerke A. Boiten, Bernhard Möller (eds.)
  2. 2 Mathematics of program construction : 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004 : proceedings / Dexter Kozen (ed.)
  3. 3 Programming languages and systems : 9th European Symposium on Programming, ESOP 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings / Gert Smolka (ed.)
  4. 4 Semantics, applications, and implementation of program generation : International Workshop, SAIG 2000, Montreal, Canada, September 20, 2000 : proceedings / Walid Taha (ed.)
  5. 5 Semantics, applications, and implementation of program generation : Second International Workshop, SAIG 2001, Florence, Italy, September 6, 2001 : proceedings / Walid Taha (ed.)
  6. 6 Static analysis : 6th International Symposium, SAS'99, Venice, Italy, September 22-24, 1999 : proceedings / Agostino Cortesi, Gilberto Filé (eds.)
  7. 7 Static analysis : 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 1, 2000 : proceedings / Jens Palsberg (ed.)
  8. 8 Parallel computing 1988 : Shell Conference, Amsterdam, the Netherlands, June 1/2, 1988 : proceedings / G.A. van Zee, J.G.G. van de Vorst (eds.)
  9. 9 ECOOP '89 : proceedings of the 1989 European Conference on Object-Oriented Programming, East Midland Conference Centre, University of Nottingham, 10-14 July 1989 / edited by Stephen Cook
  10. 10 Programming languages and systems : 14th European Symposium on Programming, ESOP 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005 : proceedings / Mooly Sagiv (ed.)

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