3rd ACM SIGPLAN Workshop on Programming Languages meets Program Verification 2009 : PLPV 09 : Savannah, Georgia, USA 20 January 2009

著者

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

書誌事項

3rd ACM SIGPLAN Workshop on Programming Languages meets Program Verification 2009 : PLPV 09 : Savannah, Georgia, USA 20 January 2009

Association for Computing Machinery, c2009

タイトル別名

PLPV 2009

注記

Includes bibliographical references and index

詳細情報

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