Matches in Library of Congress for { <http://lccn.loc.gov/91028181> ?p ?o. }
Showing items 1 to 23 of
23
with 100 items per page.
- 91028181 contributor B6381571.
- 91028181 contributor B6381572.
- 91028181 created "c1992-".
- 91028181 date "1992".
- 91028181 date "c1992-".
- 91028181 dateCopyrighted "c1992-".
- 91028181 description "Includes bibliographical references (p. 389-401) and indexes.".
- 91028181 description "[1] Specification.".
- 91028181 extent "v. <1 > :".
- 91028181 identifier "0387976647 (New York : v. 1)".
- 91028181 identifier "3540976647 (Berlin : v. 1)".
- 91028181 identifier 91028181-d.html.
- 91028181 issued "1992".
- 91028181 issued "c1992-".
- 91028181 language "eng".
- 91028181 publisher "New York : Springer-Verlag,".
- 91028181 subject "005.1 20".
- 91028181 subject "Computer programming.".
- 91028181 subject "Logic, Symbolic and mathematical.".
- 91028181 subject "QA76.6 .M3564 1991".
- 91028181 tableOfContents "[1] Specification.".
- 91028181 title "The temporal logic of reactive and concurrent systems / Zohar Manna, Amir Pnueli.".
- 91028181 type "text".