Certified programs and proofs : first international conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011 : proceedings

著者

• CPP
• Jouannaud, Jean-Pierre
• Shao, Zhong

書誌事項

Certified programs and proofs : first international conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011 : proceedings

Jean-Pierre Jouannaud, Zhong Shao (eds.)

（Lecture notes in computer science, 7086 . LNCS sublibrary. SL 1, Theoretical computer science and general issues）

Springer, c2011

• : pbk

タイトル別名

CPP 2011

注記

Includes bibliographical references and index

詳細情報

• NII書誌ID(NCID): BB13488502
• ISBN:
  • 9783642253782
• 出版国コード: gw
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Heidelberg
• ページ数/冊数: xv, 399 p.
• 大きさ: 24 cm
• 分類:
  • DC23 : 004
• 件名:
  • LCSH : Computer industry -- Certification -- Congresses
  • LCSH : Electronic data processing personnel -- Certification -- Congresses
  • FREE : Proofs
  • FREE : CPP
• 親書誌ID:
  • BA00009279