Matches in Library of Congress for { <http://lccn.loc.gov/98024731> ?p ?o. }
Showing items 1 to 23 of
23
with 100 items per page.
- 98024731 contributor B8345265.
- 98024731 contributor B8345266.
- 98024731 created "1998.".
- 98024731 date "1998".
- 98024731 date "1998.".
- 98024731 dateCopyrighted "1998.".
- 98024731 description "Includes bibliographical references (p. 404-418) and index.".
- 98024731 extent "xi, 423 p. :".
- 98024731 identifier "0521641705 (hardback)".
- 98024731 identifier 98024731.html.
- 98024731 identifier 98024731.html.
- 98024731 isPartOf "Cambridge tracts in theoretical computer science ; 47".
- 98024731 issued "1998".
- 98024731 issued "1998.".
- 98024731 language "eng".
- 98024731 publisher "Cambridge, UK ; New York, NY : Cambridge University Press,".
- 98024731 subject "003.3 21".
- 98024731 subject "Computer programs Verification.".
- 98024731 subject "Computer simulation.".
- 98024731 subject "Data structures (Computer science)".
- 98024731 subject "QA76.9.C65 R64 1998".
- 98024731 title "Data refinement : model-oriented proof methods and their comparison / Willem-Paul de Roever, Kai Engelhardt ; with the assistance of Karl-Heinz Buth ... [et al.].".
- 98024731 type "text".