Matches in Library of Congress for { <http://lccn.loc.gov/96029771> ?p ?o. }
Showing items 1 to 22 of
22
with 100 items per page.
- 96029771 contributor B7770138.
- 96029771 contributor B7770139.
- 96029771 created "c1997.".
- 96029771 date "1997".
- 96029771 date "c1997.".
- 96029771 dateCopyrighted "c1997.".
- 96029771 description "Includes bibliographical references (p. [343]-352) and indexes.".
- 96029771 extent "xvii, 364 p. ;".
- 96029771 identifier "0387948961 (hardcover : alk. paper)".
- 96029771 identifier 96029771-d.html.
- 96029771 identifier 96029771-t.html.
- 96029771 isPartOf "Graduate texts in computer science (Springer-Verlag New York Inc.)".
- 96029771 isPartOf "Graduate texts in computer science".
- 96029771 issued "1997".
- 96029771 issued "c1997.".
- 96029771 language "eng".
- 96029771 publisher "New York : Springer-Verlag,".
- 96029771 subject "005.1/4 21".
- 96029771 subject "Computer software Verification.".
- 96029771 subject "QA76.76.V47 A67 1997".
- 96029771 title "Verification of sequential and concurrent programs / Krzysztof R. Apt, Ernst-Rüdiger Olderog.".
- 96029771 type "text".