検索条件入力 ＞ 検索結果一覧：（本学所蔵） ＞ Predicate transformer semantics
書誌詳細
  

NCIDBA19094375
タイトルPredicate transformer semantics / Ernest G. Manes
出版者Cambridge ; New York, NY, USA : Cambridge University Press , 1992
形態223 p. : ill. ; 26 cm
シリーズ名Cambridge tracts in theoretical computer science ; 33
分類LCC:QA76.7
DC20:005.13/1
件名LCSH:Programminglanguages(Electroniccomputers) -- Semantics
LCSH:Computerscience -- Mathematics
著者情報Manes, Ernest G., 1943-
和洋区分洋
標題言語英語
本文言語英語
出版国イギリス
ISBN0521420369
番号LCCN : 92249094
WebCatPlus を見る    CiNii Books を見る
所蔵一覧
巻号予約予約人数所在請求記号資料ID状態備考
1 0教養共５Ｆ英語007.6:M963161300 研究室  

選択行を：  

▲ページトップへ