Logic-Based Program Synthesis and Transformation : 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers

ISBN
9783642381966
$72.00
Format Paperback
Details
  • 9.3" x 6.1" x 0.2"
  • Active Record
  • Individual Title
  • 1 vol.
  • 2013
  • x, 245
  • Yes
  • 7844
  • QA75.5-76.95