Jump to main content

yr 〜
yr

Search results 2

Certified programs and proofs : second international conference, CPP 2012, Kyoto, Japan, December 13-15, 2012 : proceedings : pbk

Certified programs and proofs : second international conference, CPP 2012, Kyoto, Japan, December 13-15, 2012 : proceedings : pbk
Paper図書
Chris Hawblitzel, Dale Miller (eds.)Springerc2012
Other Libraries in Japan
  • Alternative TitleCPP 2012
  • Alternative TitleCPP 2012
  • Author HeadingCPP 2012 Hawblitzel, Chris Miller, Dal...

Certified programs and proofs : second international conference, CPP 2012 : Kyoto, Japan, December 13-15, 2012 : proceedings : Dec 2012, Kyoto, Japan. (Lecture Notes in Computer Science ; 7679)

Certified programs and proofs : second international conference, CPP 2012 : Kyoto, Japan, December 13-15, 2012 : proceedings : Dec 2012, Kyoto, Japan. (Lecture Notes in Computer Science ; 7679)
Paper図書
Springerc2012.<M17-13-1175>
National Diet Library
  • Additional Title...al conference, CPP 2012 : Kyoto, Japan, December 13-1...
  • Author HeadingCPP 2012 (2012 : Kyoto, Japan) Hawblit...

Reached to the end of result.

RSS