Matches in Library of Congress for { <http://lccn.loc.gov/95005442> ?p ?o. }
Showing items 1 to 20 of
20
with 100 items per page.
- 95005442 contributor B7449191.
- 95005442 contributor B7449192.
- 95005442 created "c1995.".
- 95005442 date "1995".
- 95005442 date "c1995.".
- 95005442 dateCopyrighted "c1995.".
- 95005442 description "Includes bibliographical references (p. [465]-479) and indexes.".
- 95005442 extent "xviii, 512 p. :".
- 95005442 identifier "0387944591 (acid-free paper)".
- 95005442 identifier 95005442-d.html.
- 95005442 issued "1995".
- 95005442 issued "c1995.".
- 95005442 language "eng".
- 95005442 publisher "New York : Springer,".
- 95005442 subject "005.2 20".
- 95005442 subject "Computer software Verification.".
- 95005442 subject "Parallel processing (Electronic computers)".
- 95005442 subject "QA76.76.V47 M36 1995".
- 95005442 title "Temporal verification of reactive systems : safety / Zohar Manna, Amir Pnueli.".
- 95005442 type "text".