Theoretical aspects of computer software : Third International Symposium, TACS '97, Sendai, Japan, September 23-26, 1997 ; proceedings

書誌事項

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)

Springer, c1997

大学図書館所蔵 件 / 55

この図書・雑誌をさがす

注記

Includes bibliographical references and index

関連文献: 1件中  1-1を表示

詳細情報

ページトップへ