yr 〜
yr

Search results 2

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
  • Author HeadingCPP 2012 (2012 : Kyoto, Japan) Hawblitzel, Chris. Miller, Dale (Dale A.)

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
  • Author HeadingCPP 2012 Hawblitzel, Chris Miller, Dale

Reached to the end of result.