Matches in Library of Congress for { <http://lccn.loc.gov/97013428> ?p ?o. }
Showing items 1 to 20 of
20
with 100 items per page.
- 97013428 contributor B8039157.
- 97013428 created "c1997.".
- 97013428 date "1997".
- 97013428 date "c1997.".
- 97013428 dateCopyrighted "c1997.".
- 97013428 description "Includes bibliographical references (p. [239]-243) and index.".
- 97013428 extent "xii, 250 p. :".
- 97013428 identifier "3540634061 (pbk. : acid-free paper)".
- 97013428 identifier 97013428-d.html.
- 97013428 isPartOf "Lecture notes in computer science, 0302-9743 ; 1283".
- 97013428 issued "1997".
- 97013428 issued "c1997.".
- 97013428 language "eng".
- 97013428 publisher "Berlin ; New York : Springer,".
- 97013428 subject "005.4/53 21".
- 97013428 subject "Compilers (Computer programs)".
- 97013428 subject "Computer software Verification.".
- 97013428 subject "QA76.76.C65 M85 1997".
- 97013428 title "Modular compiler verification : a refinement-algebraic approach advocating stepwise abstraction / Markus Müller-Olm.".
- 97013428 type "text".