Matches in Library of Congress for { <http://lccn.loc.gov/91007267> ?p ?o. }
Showing items 1 to 20 of
20
with 100 items per page.
- 91007267 contributor B6356923.
- 91007267 contributor B6356924.
- 91007267 created "c1991.".
- 91007267 date "1991".
- 91007267 date "c1991.".
- 91007267 dateCopyrighted "c1991.".
- 91007267 description "Includes bibliographical references and indexes.".
- 91007267 extent "xvi, 441 p. ;".
- 91007267 identifier "0387975322 (Springer-Verlag New York Berlin Heidelberg : acid-free paper)".
- 91007267 identifier "3540975322 (Springer-Verlag Berlin Heidelberg New York : acid-free paper)".
- 91007267 isPartOf "Texts and monographs in computer science".
- 91007267 issued "1991".
- 91007267 issued "c1991.".
- 91007267 language "eng".
- 91007267 publisher "New York : Springer-Verlag,".
- 91007267 subject "005.1/4 20".
- 91007267 subject "Computer software Verification.".
- 91007267 subject "QA76.76.V47 A67 1991".
- 91007267 title "Verification of sequential and concurrent programs / Krzysztof R. Apt, Ernst-Rüdiger Olderog.".
- 91007267 type "text".