Matches in Library of Congress for { <http://lccn.loc.gov/2010537987> ?p ?o. }
Showing items 1 to 26 of
26
with 100 items per page.
- 2010537987 alternative "Proceedings of the 2009 ACM SIGPLAN Workshop on Programming Languages meets Program Verification".
- 2010537987 alternative "Title from home page: Proceedings of the 3rd Workshop on Programming Languages meets Program Verification".
- 2010537987 contributor B12036796.
- 2010537987 contributor B12036797.
- 2010537987 contributor B12036798.
- 2010537987 contributor B12036799.
- 2010537987 created "c2009.".
- 2010537987 date "2009".
- 2010537987 date "c2009.".
- 2010537987 dateCopyrighted "c2009.".
- 2010537987 description "Includes bibliographical references and index.".
- 2010537987 extent "vi, 82 p. :".
- 2010537987 identifier "1605583308 (pbk.)".
- 2010537987 identifier "9781605583303 (pbk.)".
- 2010537987 issued "2009".
- 2010537987 issued "c2009.".
- 2010537987 language "eng".
- 2010537987 publisher "New York, N.Y. : Association for Computing Machinery,".
- 2010537987 subject "005.13 23".
- 2010537987 subject "Computer programs Verification Congresses.".
- 2010537987 subject "Programming languages (Electronic computers) Congresses.".
- 2010537987 subject "QA76.76.V47 P57 2009".
- 2010537987 title "PLPV '09 : proceedings of the 2009 ACM SIGPLAN Workshop on Programming Languages meets Program Verification, Savannah, Georgia, USA, January 20, 2009 / sponsored by ACM SIGPLAN.".
- 2010537987 title "Proceedings of the 2009 ACM SIGPLAN Workshop on Programming Languages meets Program Verification".
- 2010537987 title "Title from home page: Proceedings of the 3rd Workshop on Programming Languages meets Program Verification".
- 2010537987 type "text".