Research Catalog

Temporal logic in specification : Altrincham, UK, April 8-10, 1987 : proceedings

Title
Temporal logic in specification : Altrincham, UK, April 8-10, 1987 : proceedings / B. Banieqbal, H. Barringer, A. Pnueli (eds.).
Publication
Berlin ; New York : Springer-Verlag, [1989], ©1989.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
Request for On-site UseRequest Scan
How do I pick up this item and when will it be ready?
TextRequest in advance QA76.9.S88 T42 1989Off-site

Holdings

Details

Additional Authors
  • Banieqbal, B. (Behnam), 1960-
  • Barringer, Howard, 1951-
  • Pnueli, Amir, 1941-2009.
  • Colloquium on Temporal Logic in Specification (1987 : Altrincham, England)
Description
vi, 448 pages : illustrations; 24 cm.
Series Statement
Lecture notes in computer science ; 398
Uniform Title
Lecture notes in computer science ; 398.
Subjects
Note
  • Based on papers presented at the Colloquium on Temporal Logic in Specification.
Bibliography (note)
  • Includes bibliographical references.
ISBN
0387518037 (U.S.) :
LCCN
89021947
OCLC
  • 20490986
  • ocm20490986
Owning Institutions
Columbia University Libraries