Matches in Library of Congress for { <http://lccn.loc.gov/95051354> ?p ?o. }
Showing items 1 to 20 of
20
with 100 items per page.
- 95051354 contributor B7499463.
- 95051354 created "c1996.".
- 95051354 date "1996".
- 95051354 date "c1996.".
- 95051354 dateCopyrighted "c1996.".
- 95051354 description "Includes bibliographical references (p. [133]-142) and index.".
- 95051354 extent "142 p. :".
- 95051354 identifier "3540607617 (Berlin : softcover : acid-free paper)".
- 95051354 identifier 95051354-d.html.
- 95051354 isPartOf "Lecture notes in computer science ; 1032".
- 95051354 issued "1996".
- 95051354 issued "c1996.".
- 95051354 language "eng".
- 95051354 publisher "Berlin ; New York : Springer,".
- 95051354 subject "005.2 20".
- 95051354 subject "Computer software Verification.".
- 95051354 subject "Parallel processing (Electronic computers)".
- 95051354 subject "QA76.58 .G63 1996".
- 95051354 title "Partial-order methods for the verification of concurrent systems : an approach to the state-explosion problem / Patrice Godefroid.".
- 95051354 type "text".