Mathematical methods of specification and synthesis of software systems '85 : proceedings of the international spring school, Wendisch-Rietz, GDR, April 22-26, 1985
書誌情報:Mathematical methods of specification and synthesis of software systems '85 : proceedings of the international spring school, Wendisch-Rietz, GDR, April 22-26, 1985
edited by W. Bibel and K.P. Jantke.
Berlin ; New York : Springer , c1986.
245 p. : ill. ; 25 cm.




  


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

選択行を：  

書誌詳細
刊年1986
形態245 p. : ill. ; 25 cm.
シリーズ名Lecture notes in computer science ; 215
注記Includes bibliographies.
出版国ドイツ
標題言語英語
本文言語英語
著者情報Bibel, W., 1938-
Jantke, Klaus P.
分類LCC:QA76.76.D47
DC19:005.1
ISBN0387164448(pbk.)
3540164448
件名LCSH:Computersoftware -- Development -- Congresses.
番号LCCN : 86195028

   
▲ページトップへ