Formalization of programming concepts : international colloquium, Peniscola, Spain, April 19-25, 1981 : proceedings
書誌情報:Formalization of programming concepts : international colloquium, Peniscola, Spain, April 19-25, 1981 : proceedings
edited by J. Díaz and I. Ramos.
Berlin ; New York : Springer-Verlag , 1981.
vii, 478 p. : ill. ; 25 cm.




  


所蔵一覧
巻号予約人数所在請求記号資料ID状態貸出区分備考 
1U.S. : pbk.0中央５階洋
  • 007.1
  • L 49
  • 107
00514915 利用可
一般 

選択行を：  

書誌詳細
刊年1981
形態vii, 478 p. : ill. ; 25 cm.
シリーズ名Lecture notes in computer science ; 107
注記Includes bibliographies and index.
出版国ドイツ
標題言語英語
本文言語英語,フランス語
著者情報Díaz, J. (Josep), 1950-
Ramos, I. (Isidro), 1943-
International Colloquium on the Formalization of Programming Concepts (1981 : Peñíscola, Spain)
分類LCC:QA76.6
DC19:001.64/2
ISBN0387106995(U.S. : pbk.)
件名LCSH:Electronicdigitalcomputers -- Programming -- Congresses.
番号LCCN : 81005715

   
▲ページトップへ