Matches in Library of Congress for { <http://lccn.loc.gov/89021947> ?p ?o. }
Showing items 1 to 20 of
20
with 100 items per page.
- 89021947 contributor B5863914.
- 89021947 contributor B5863915.
- 89021947 created "c1989.".
- 89021947 date "1989".
- 89021947 date "c1989.".
- 89021947 dateCopyrighted "c1989.".
- 89021947 description "Includes bibliographical references.".
- 89021947 extent "vi, 448 p. :".
- 89021947 identifier "0387518037 (U.S.: alk. paper) :".
- 89021947 isPartOf "Lecture notes in computer science ; 398".
- 89021947 issued "1989".
- 89021947 issued "c1989.".
- 89021947 language "eng".
- 89021947 publisher "Berlin ; New York : Springer-Verlag,".
- 89021947 subject "005.13/1 20".
- 89021947 subject "Logic, Symbolic and mathematical.".
- 89021947 subject "QA76.9.S88 T42 1989".
- 89021947 subject "System design.".
- 89021947 title "Temporal logic in specification : Altrincham, UK, April 8-10, 1987 : proceedings / B. Banieqbal, H. Barringer, A. Pnueli (eds.).".
- 89021947 type "text".