Matches in Library of Congress for { <http://lccn.loc.gov/2001022303> ?p ?o. }
Showing items 1 to 21 of
21
with 100 items per page.
- 2001022303 contributor B8923399.
- 2001022303 created "2001.".
- 2001022303 date "2001".
- 2001022303 date "2001.".
- 2001022303 dateCopyrighted "2001.".
- 2001022303 description "Includes bibliographical references (p. 710-746) and index.".
- 2001022303 extent "xxii, 776 p. :".
- 2001022303 identifier "0521806089".
- 2001022303 identifier 2001022303.html.
- 2001022303 identifier 2001022303.html.
- 2001022303 isPartOf "Cambridge tracts in theoretical computer science ; 54".
- 2001022303 issued "2001".
- 2001022303 issued "2001.".
- 2001022303 language "eng".
- 2001022303 publisher "Cambridge, UK ; New York, NY, USA : Cambridge University Press,".
- 2001022303 subject "004/.35 21".
- 2001022303 subject "Computer software Verification.".
- 2001022303 subject "Parallel processing (Electronic computers)".
- 2001022303 subject "QA76.58 .C6643 2001".
- 2001022303 title "Concurrency verification : introduction to compositional and noncompositional methods / Willem-Paul de Roever ... [et al.].".
- 2001022303 type "text".