Logic-Based Program Synthesis and Transformation: 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers
Checking for file health...
Author:Jürgen Giesl, Thomas Ströder (auth.), Elvira Albert (eds.)
Language:English
Release year:2013
File size:3.312 MB
Number of page:252
Language:English
Release year:2013
File size:3.312 MB
Number of page:252
Most books are stored in the elastic cloud where traffic is expensive. For this reason, we have a limit on daily download.
Similar
Most books are stored in the elastic cloud where traffic is expensive. For this reason, we have a limit on daily download.
