PLPV'07 : proceedings of the 2007 Workshop on Programming Languages meets Program Verification, Freiburg, Germany, October 5, 2007 : co-located with, ICFP'07

著者

• Workshop on Programming Languages meets Program Verification
• ACM SIGPLAN International Conference on Functional Programming
• ACM Special Interest Group in Programming Languages

書誌事項

PLPV'07 : proceedings of the 2007 Workshop on Programming Languages meets Program Verification, Freiburg, Germany, October 5, 2007 : co-located with, ICFP'07

sponsored by ACM SIGPLAN

Association for Computing Machinery, c2007

タイトル別名

PLPV 2007

注記

Includes bibliographical references and index

ACM order number: 565076

詳細情報

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