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

Author(s)

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

Bibliographic Information

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

Other Title

CPP 2011

Note

Includes bibliographical references and index

Details

• NCID: BB13488502
• ISBN:
  • 9783642253782
• Country Code: gw
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Heidelberg
• Pages/Volumes: xv, 399 p.
• Size: 24 cm
• Classification:
  • DC23 : 004
• Subject Headings:
  • LCSH : Computer industry -- Certification -- Congresses
  • LCSH : Electronic data processing personnel -- Certification -- Congresses
  • FREE : Proofs
  • FREE : CPP
• Parent Bibliography ID:
  • BA00009279