検索条件入力 ＞ 書誌詳細 ＞ 関連資料一覧：（本学所蔵） ＞ The Correctness problem in computer science
書誌情報:The Correctness problem in computer science
edited by R.S. Boyer and J. Strother Moore
London ; New York : Academic Press , 1981
xiii, 279 p. : ill. ; 24 cm
 WebCatPlus を見る
CiNii Books を見る


  


所蔵一覧
巻号予約人数所在請求記号資料ID状態貸出区分備考 
1 0中央５階洋
  • 548.164
  • C 88
  •  
00510089 利用可
一般 

選択行を：  

書誌詳細
刊年1981
形態xiii, 279 p. : ill. ; 24 cm
シリーズ名International lecture series in computer science
注記Includes bibliographies and index
出版国イギリス
標題言語英語
本文言語英語
著者情報Boyer, Robert S.
Moore, J. Strother, 1947-
分類LCC:QA76.6
DC19:001.64/25
ISBN0121229203
件名LCSH:Computerprograms -- Correctness
NCIDBA03091651
番号NBN : GB***LCCN : 81067887

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