9783642005145

Logic-Based Program Synthesis and Transformation  eBooks & eLearning

Posted by step778 at Aug. 22, 2018
Logic-Based Program Synthesis and Transformation

Michael Hanus, "Logic-Based Program Synthesis and Transformation"
2009 | pages: 185 | ISBN: 3642005144 | PDF | 2,5 mb