Matches in Library of Congress for { <http://lccn.loc.gov/2005279518> ?p ?o. }
Showing items 1 to 19 of
19
with 100 items per page.
- 2005279518 contributor B10181989.
- 2005279518 created "2004".
- 2005279518 date "2004".
- 2005279518 dateCopyrighted "2004".
- 2005279518 description "Includes bibliographical references and index.".
- 2005279518 extent "223 p. :".
- 2005279518 identifier "0521616107 (pbk.)".
- 2005279518 identifier 2005279518-d.html.
- 2005279518 identifier 2005279518-t.html.
- 2005279518 isPartOf "Cambridge tracts in theoretical computer science ; 33".
- 2005279518 issued "2004".
- 2005279518 language "eng".
- 2005279518 publisher "Cambridge ; New York : Cambridge University Press,".
- 2005279518 subject "005.13 22".
- 2005279518 subject "Computer science Mathematics.".
- 2005279518 subject "Programming languages (Electronic computers) Semantics.".
- 2005279518 subject "QA76.7 .M342 2004".
- 2005279518 title "Predicate transformer semantics / Ernest G. Manes.".
- 2005279518 type "text".