PLPV'10 : proceedings of the 2010 Workshop on Programming Languages meets Program Verification, Jamuary 19, 2010, Madrid, Spain

著者

• Workshop on Programming Languages meets Program Verification
• ACM Special Interest Group in Programming Languages

書誌事項

PLPV'10 : proceedings of the 2010 Workshop on Programming Languages meets Program Verification, Jamuary 19, 2010, Madrid, Spain

sponsored by ACM SIGPLAN

Association for Computing Machinery, c2010

タイトル別名

PLPV 2010

注記

Includes bibliographical references and index

ACM order number: 565106

詳細情報

• NII書誌ID(NCID): BB01431982
• ISBN:
  • 9781605588902
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: New York
• ページ数/冊数: vi, 63 p.
• 大きさ: 28 cm