Matches in Library of Congress for { <http://lccn.loc.gov/99017979> ?p ?o. }
Showing items 1 to 18 of
18
with 100 items per page.
- 99017979 contributor B8638032.
- 99017979 contributor B8638033.
- 99017979 created "c1999.".
- 99017979 date "1999".
- 99017979 date "c1999.".
- 99017979 dateCopyrighted "c1999.".
- 99017979 description "Includes bibliographical references (p. [297]-307) and index.".
- 99017979 extent "xiv, 314 p. :".
- 99017979 identifier "0262032708 (alk. paper)".
- 99017979 issued "1999".
- 99017979 issued "c1999.".
- 99017979 language "eng".
- 99017979 publisher "Cambridge, Mass. : MIT Press,".
- 99017979 subject "004.2/1 21".
- 99017979 subject "Computer systems Verification.".
- 99017979 subject "QA76.76.V47 C553 1999".
- 99017979 title "Model checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled.".
- 99017979 type "text".