Matches in Library of Congress for { <http://lccn.loc.gov/2008273352> ?p ?o. }
Showing items 1 to 18 of
18
with 100 items per page.
- 2008273352 contributor B11142756.
- 2008273352 created "c2007.".
- 2008273352 date "2007".
- 2008273352 date "c2007.".
- 2008273352 dateCopyrighted "c2007.".
- 2008273352 description "Includes bibliographical references and index.".
- 2008273352 extent "vi, 69 p. :".
- 2008273352 identifier "9781595936776".
- 2008273352 issued "2007".
- 2008273352 issued "c2007.".
- 2008273352 language "eng".
- 2008273352 publisher "New York, N.Y. : Association for Computing Machinery,".
- 2008273352 subject "005.1/4 22".
- 2008273352 subject "Computer programs Verification Congresses.".
- 2008273352 subject "Programming languages (Electronic computers) Congresses.".
- 2008273352 subject "QA76.76.V47 P57 2007".
- 2008273352 title "PLPV'07 : proceedings of the 2007 workshop on Programming Languages meets Program Verification, Freiburg, Germany, October 5, 2007 / sponsored by ACM SIGPLAN ; co-located with ICFP'07.".
- 2008273352 type "text".