検索条件入力 ＞ 検索結果一覧：（本学所蔵） ＞ Logics of programs : workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983
書誌情報:Logics of programs : workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983
edited by Edmund Clarke and Dexter Kozen
Berlin ; Tokyo : Springer-Verlag , 1984
vi, 527 p. : ill. ; 25 cm

WebCatPlus を見る
CiNii Books を見る


  


所蔵一覧
巻号予約人数所在請求記号資料ID状態備考 
1: us0南港 1F一般書架A
  • 007.6
  • L
  •  
11069313 利用可
 

選択行を：  

書誌詳細
刊年1984
形態vi, 527 p. : ill. ; 25 cm
シリーズ名Lecture notes in computer science ; 164
注記Includes bibliographies
出版国ドイツ=ドイツ連邦共和国
標題言語英語
本文言語英語
著者情報Clarke, Edmund
Kozen, Dexter, 1951-
Logics of Programs Workshop
分類LCC:QA76.6
DC19:001.64/2
ISBN3540128964(: gw)
0387128964(: us)
件名LCSH:Electronicdigitalcomputers -- Programming -- Congresses
NCIDBA03706246
番号LCCN : 84003123

WebCatPlus を見る    CiNii Books を見る
▲ページトップへ