Logic Based Program Synthesis And Transformation King, Andy
Logic-Based Program Synthesis and Transformation: 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23 eBooks & eLearning
Posted by insetes at July 8, 2024
Logic-Based Program Synthesis and Transformation: 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers By Michael Codish (auth.), Andy King (eds.)
2008 | 222 Pages | ISBN: 3540787682 | PDF | 5 MB
2008 | 222 Pages | ISBN: 3540787682 | PDF | 5 MB
Logic-Based Program Synthesis and Transformation: 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23 eBooks & eLearning
Posted by insetes at July 8, 2024
Logic-Based Program Synthesis and Transformation: 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers By Michael Codish (auth.), Andy King (eds.)
2008 | 222 Pages | ISBN: 3540787682 | PDF | 5 MB
2008 | 222 Pages | ISBN: 3540787682 | PDF | 5 MB
Logic-Based Program Synthesis and Transformation: 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23 eBooks & eLearning
Posted by insetes at July 8, 2024
Logic-Based Program Synthesis and Transformation: 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers By Michael Codish (auth.), Andy King (eds.)
2008 | 222 Pages | ISBN: 3540787682 | PDF | 5 MB
2008 | 222 Pages | ISBN: 3540787682 | PDF | 5 MB