Matches in Library of Congress for { <http://lccn.loc.gov/95048177> ?p ?o. }
Showing items 1 to 20 of
20
with 100 items per page.
- 95048177 contributor B7496010.
- 95048177 created "c1996.".
- 95048177 date "1996".
- 95048177 date "c1996.".
- 95048177 dateCopyrighted "c1996.".
- 95048177 description "Includes bibliographical references (p. [305]-307) and index.".
- 95048177 extent "viii, 320 p. :".
- 95048177 identifier "0792339207 (hb : acid-free paper)".
- 95048177 isPartOf "Automated reasoning series ; v. 3".
- 95048177 issued "1996".
- 95048177 issued "c1996.".
- 95048177 language "eng".
- 95048177 publisher "Dordrecht ; Boston : Kluwer Academic Publishers,".
- 95048177 subject "005.265 20".
- 95048177 subject "Assembly languages (Electronic computers)".
- 95048177 subject "FM9001 (Microprocessor) Programming.".
- 95048177 subject "Piton (Computer program language)".
- 95048177 subject "QA76.73.P58 M66 1996".
- 95048177 title "Piton : a mechanically verified assembly-level language / by J. Strother Moore.".
- 95048177 type "text".