検索条件入力 ＞ 書誌詳細 ＞ Temporal logics and their applications
書誌情報:Temporal logics and their applications
edited by Antony Galton.
London ; San Diego : Academic Press , 1987.
xii, 244 p. : ill. ; 24 cm.


  


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

選択行を：  

書誌詳細
刊年1987
形態xii, 244 p. : ill. ; 24 cm.
内容注記Temporal logic and computer science / Antony Galton
The use of temporal logic in the compositional specification of concurrent systems / Howard Barringer
Temporal logic programming / Roger Hale
Three recent approaches to temporal reasoning / Fariba Sadri
The logic of occurrence / Antony Galton
Modal and temporal logic programming / Dov Gabbav.
注記Three papers are based upon presentations at the Conference on Temporal Logic and its Applications, University of Leeds, January, 1986.
Includes bibliographies and index.
出版国イングランド
標題言語英語
本文言語英語
著者情報Galton, Antony.
分類LCC:QA76.6
DC20:005.13/1
ISBN0122740602
件名LCSH:Electronicdigitalcomputers -- Programming.
LCSH:Logic,Symbolicandmathematical.
:ComputersystemsProgrammingApplicationsofmathematicallogic
番号NBN : GB87-39606LCCN : 87071534

   
▲ページトップへ