検索条件入力書誌詳細関連資料一覧:(本学所蔵) > Mathematical foundations of software development : Colloquium on Trees in Algebra and Programming (CAAP '85)
書誌情報:Mathematical foundations of software development : Colloquium on Trees in Algebra and Programming (CAAP '85)
edited by Hartmut Ehrig ... [et al.]
Berlin ; Tokyo : Springer-Verlag , c1985
xiii, 418 p. : ill. ; 25 cm
WebCatPlus を見る
CiNii Books を見る


  


所蔵一覧
巻号予約人数所在請求記号資料ID状態貸出区分備考 
1: us0中央5階洋
  • 007.1
  • L 49
  • 185
00515698 利用可
一般 

選択行を:  

書誌詳細
刊年1985
形態xiii, 418 p. : ill. ; 25 cm
シリーズ名Lecture notes in computer science ; 185[Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985 ; v. 1]
注記Includes index
出版国ドイツ
標題言語英語
本文言語英語
著者情報Colloquium on Trees in Algebra and Programming
Ehrig, Hartmut
International Joint Conference on Theory and Practice of Software Development
分類LCC:QA76.76.D47
DC19:001.64/2 s
DC19:001.64/2
NDC8:007.63
ISBN3540151982(: gw)
0387151982(: us)
件名LCSH:Computersoftware -- Development -- Mathematics -- Congresses
LCSH:Trees(Graphtheory) -- Congresses
LCSH:Algebra -- Congresses
LCSH:Programming(Electroniccomputers) -- Congresses
NDLSH:プログラミング(電子計算機)
NCIDBA00009268
番号LCCN : 85004720

WebCatPlus を見る    CiNii Books を見る