Matches in Library of Congress for { <http://lccn.loc.gov/99038271> ?p ?o. }
Showing items 1 to 19 of
19
with 100 items per page.
- 99038271 contributor B8661648.
- 99038271 contributor B8661649.
- 99038271 created "c2000.".
- 99038271 date "2000".
- 99038271 date "c2000.".
- 99038271 dateCopyrighted "c2000.".
- 99038271 description "Includes bibliographical references and index.".
- 99038271 extent "xviii, 405 p. :".
- 99038271 identifier "3540655956 (hardcover : alk. paper)".
- 99038271 isPartOf "NATO ASI series. Series F, Computer and systems sciences ; no. 170".
- 99038271 issued "2000".
- 99038271 issued "c2000.".
- 99038271 language "eng".
- 99038271 publisher "Berlin ; New York : Springer,".
- 99038271 subject "004.2/1 21".
- 99038271 subject "Computer systems Verification Congresses.".
- 99038271 subject "QA76.76.V47 V47 2000".
- 99038271 title "Verification of digital and hybrid systems / edited by M. Kemal Inan, Robert P. Kurshan.".
- 99038271 type "text".