検索条件入力
>
書誌詳細
>
Temporal logics and their applications
書誌情報:Temporal logics and their applications
書誌詳細
刊年 | 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 |
ISBN | 0122740602
|
件名 | LCSH:Electronicdigitalcomputers -- Programming.
LCSH:Logic,Symbolicandmathematical.
:ComputersystemsProgrammingApplicationsofmathematicallogic
|
番号 | NBN : GB87-39606LCCN : 87071534 |
|