<図書>

International Symposium on Programming : proceedings of the Fourth "Colloque International sur la Programmation" Paris, 22-24 April 1980 / edited by B. Robinet

(Lecture notes in computer science;83)

所蔵情報を非表示

1

本郷キャンパス

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

RECON/保存書庫
3

駒場Ⅰキャンパス

配架場所 巻 次 請求記号 登録番号 状 態 文庫区分 刷 年 コメント
数理科学・図書 : gw KI:Programmin:4 8001043754

貸出禁止

書誌詳細を非表示

出版者 Berlin : Springer-Verlag
出版年 1980
大きさ vii, 341 p. ; 25 cm
一般注記 English or French
Includes bibliographies
著者標目 Robinet, Bernard, 1941-
International symposium on programming (4th : 1980 : Paris)
件 名 LCSH:Electronic digital computers -- Programming -- Congresses
分 類 LCC:QA76.6
DC:001.64/2
本文言語 英語,フランス語
書誌ID 2000867018
ISBN 3540099816
NCID BA03642008 WCLINK

類似資料

  1. 1 Abstract software specifications : 1979 Copenhagen Winter School, January 22-February 2, 1979 : proceedings / edited by D. Bjørner
  2. 2 A relational theory of computing / John G. Sanderson
  3. 3 Minicomputer software : proceedings of the IFIP Conference on Software for Minicomputers : IFIP TC-2 Working Conference on Software for minicomputers, Lake Balaton, Hungary, 8-12 September 1975 / edited by James R. Bell and C. Gordon Bell ; organized by IFIP Technical Committee 2, Programming, International Federation for Information Processing ; program committee, P. Hibbard ... [et al.]
  4. 4 International Symposium on Programming : 6th colloquium, Toulouse, April 17-19, 1984 : proceedings / edited by M. Paul and B. Robinet
  5. 5 Logics of programs : workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983 / edited by Edmund Clarke and Dexter Kozen
  6. 6 Computer program synthesis methodologies : proceedings of the NATO Advanced Study Institute held at Bonas, France, September 28-October 10, 1981 / edited by Alan W. Biermann and Gérard Guiho
  7. 7 Logics of programs and their applications : proceedings, Poznan, August 23-29, 1980 / edited by A. Salwicki
  8. 8 The Use of formal specification of software : June 25-27, 1979, Berlin / edited by H.K. Berg and W.K. Giloi
  9. 9 Formalization of programming concepts : International Colloquium, Peniscola, Spain, April 19-25, 1981 : proceedings / edited by J. Díaz and I. Ramos
  10. 10 Productivity, an urgent priority : proceedings, Compcon fall 81, twenty-third IEEE Computer Society International Conference, Capital Hilton Hotel, Washington, D.C., September 15-17, 1981

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