Matches in Library of Congress for { <http://lccn.loc.gov/87071534> ?p ?o. }
Showing items 1 to 20 of
20
with 100 items per page.
- 87071534 contributor B5432232.
- 87071534 created "1987.".
- 87071534 date "1987".
- 87071534 date "1987.".
- 87071534 dateCopyrighted "1987.".
- 87071534 description "Includes bibliographies and index.".
- 87071534 description "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.".
- 87071534 extent "xii, 244 p. :".
- 87071534 identifier "0122740602".
- 87071534 issued "1987".
- 87071534 issued "1987.".
- 87071534 language "eng".
- 87071534 publisher "London ; San Diego : Academic Press,".
- 87071534 subject "005.13/1 20".
- 87071534 subject "Computer programming.".
- 87071534 subject "Logic, Symbolic and mathematical.".
- 87071534 subject "QA76.6 .T4415 1987".
- 87071534 tableOfContents "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.".
- 87071534 title "Temporal logics and their applications / edited by Antony Galton.".
- 87071534 type "text".