PLPV'07 : proceedings of the 2007 workshop on programming languages meets program verification : Freiburg, Germany : October 5, 2007. : PLPV 2007 : Oct 2007, Freiburg, Germany.

• 資料種別: 図書
• ISBN: 9781595936776
• タイトル: PLPV'07 : proceedings of the 2007 workshop on programming languages meets program verification : Freiburg, Germany : October 5, 2007. : PLPV 2007 : Oct 2007, Freiburg, Germany.
• 出版事項: New York : ACM
• 出版年月日等: c2007.
• 出版年（W3CDTF）: 2007
• 数量: vi, 69 p. : ill. ; 28 cm.
• 並列タイトル等: PLPV'07 proceedings of the 2007 workshop on programming languages meets program verification Oct. 5, 2007 Freiburg, Germany
• 出版地（国名コード）: US
• NDLC: M17
• 一般注記: An abstract and papers.
• 書誌注記: Includes bibliographical references and author index.
• 所蔵機関: 国立国会図書館
• 請求記号: M17-08-185
• 連携機関・データベース: 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• 書誌ID（NDLBibID）: 000009203734; http://id.ndl.go.jp/bib/000009203734
• 整理区分コード: 215