このページのリンク

Theoretical aspects of computer software : Third International Symposium, TACS '97, Sendai, Japan, September 23-26, 1997 ; proceedings / Martín Abadi, Takayasu Ito (eds.)
(Lecture notes in computer science ; 1281)

データ種別 図書
出版者 Berlin : Springer
出版年 c1997
本文言語 英語
大きさ xi, 638 p. ; 24 cm

所蔵情報を非表示

書庫2階 QA:76.751:T33:1997
354063388X 002483823

書誌詳細を非表示

一般注記 Includes bibliographical references and index
著者標目 TACS (1997 : Sendai, Japan)
Abadi, Martín
伊藤, 貴康(1940-) <イトウ, タカヤス>
件 名 LCSH:Computer software -- Congresses  全ての件名で検索
分 類 LCC:QA76.751
DC20:005.1/01/5113
巻冊次 ISBN:354063388X REFWLINK
ISBN 354063388X
NCID BA32154697 WCLINK
目次/あらすじ

 類似資料

 この資料を見た人はこんな資料も見ています