Matches in Library of Congress for { <http://lccn.loc.gov/2001032056> ?p ?o. }
Showing items 1 to 20 of
20
with 100 items per page.
- 2001032056 contributor B8934805.
- 2001032056 created "c2001.".
- 2001032056 date "2001".
- 2001032056 date "c2001.".
- 2001032056 dateCopyrighted "c2001.".
- 2001032056 description "Includes bibliographical references (p. [179]-182).".
- 2001032056 extent "xii, 190 p. :".
- 2001032056 identifier "3540415238 (alk. paper)".
- 2001032056 identifier 2001032056-d.html.
- 2001032056 identifier 2001032056-t.html.
- 2001032056 issued "2001".
- 2001032056 issued "c2001.".
- 2001032056 language "eng".
- 2001032056 publisher "Berlin ; New York : Springer,".
- 2001032056 subject "005.1/4 21".
- 2001032056 subject "Computer software Verification.".
- 2001032056 subject "Computer systems Verification.".
- 2001032056 subject "QA76.76.V47 S97 2001".
- 2001032056 title "Systems and software verification : model-checking techniques and tools / B. Bérard ... [et al.].".
- 2001032056 type "text".