Matches in Library of Congress for { <http://lccn.loc.gov/97047336> ?p ?o. }
Showing items 1 to 24 of
24
with 100 items per page.
- 97047336 contributor B8078684.
- 97047336 contributor B8078685.
- 97047336 created "c1998.".
- 97047336 date "1998".
- 97047336 date "c1998.".
- 97047336 dateCopyrighted "c1998.".
- 97047336 description "Includes bibliographical references (p. [501]-508) and index.".
- 97047336 extent "xv, 519 p. :".
- 97047336 identifier "0387984178 (alk. paper)".
- 97047336 identifier 97047336-d.html.
- 97047336 identifier 97047336-t.html.
- 97047336 isPartOf "Graduate texts in computer science (Springer-Verlag New York Inc.)".
- 97047336 isPartOf "Graduate texts in computer science".
- 97047336 issued "1998".
- 97047336 issued "c1998.".
- 97047336 language "eng".
- 97047336 publisher "New York : Springer,".
- 97047336 subject "005.1/4 21".
- 97047336 subject "Calculus.".
- 97047336 subject "Computer logic.".
- 97047336 subject "Computer programming.".
- 97047336 subject "QA76.6 .B28 1998".
- 97047336 title "Refinement calculus : a systematic introduction / Ralph-Johan Back, Joakim von Wright.".
- 97047336 type "text".