検索条件入力 ＞ 検索結果一覧：（本学所蔵） ＞ Temporal logics and their applications
書誌詳細
  

NCIDBA03479381
タイトルTemporal logics and their applications / edited by Antony Galton
出版者London ; Tokyo : Academic Press , 1987
形態xii, 244 p. : ill. ; 24 cm
注記Conference papers
Includes bibliographies and index
分類LCC:QA76.6
DC19:005.13/1
件名PRECIS:Computersystems.Programming.Applicationsofmathematicallogic
LCSH:Electronicdigitalcomputers -- Programming
LCSH:Logic,Symbolicandmathematical
著者情報Galton, Antony
和洋区分洋
標題言語英語
本文言語英語
出版国イギリス
ISBN0122740602
番号NBN : B8739606
LCCN : 87071534
WebCatPlus を見る    CiNii Books を見る
所蔵一覧
巻号予約予約人数所在請求記号資料ID状態備考
1 0教養共５Ｆ英語007.6:T893151900 研究室  

選択行を：  

▲ページトップへ