A little wonder in every chapter. Find your next favourite read
bookorelle.A LITTLE WONDER IN EVERY CHAPTER
♡0Bag 0
Need a hand? Visit our FAQ →
Logic-Based Program Synthesis and Transformation

Logic-Based Program Synthesis and Transformation

€ 62,49

Logic-Based Program Synthesis and Transformation — 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers. An English-language digital edition by Maurizio Proietti (Editor); Hirohisa Seki (Editor), available in PDF.

Download format: PDF (.pdf). Available files can be downloaded from My books immediately after payment is confirmed. We also email you a download link. If your edition needs file preparation, your account shows its pending status; the download and email follow upload and staff approval.

SKU: EBC-2487939 Category:

Description

About this book

Logic-Based Program Synthesis and Transformation — 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers. An English-language digital edition by Maurizio Proietti (Editor); Hirohisa Seki (Editor), available in PDF.

Edition details

  • Author / contributors: Maurizio Proietti (Editor); Hirohisa Seki (Editor)
  • Publisher: Springer International Publishing
  • Publication date: April 22, 2015
  • Language: English
  • ISBNs: 9783319178219; 9783319178226
  • Digital formats: PDF

Additional information

Author

Maurizio Proietti (Editor); Hirohisa Seki (Editor)
Publisher

Springer International Publishing
Language

English
ISBN

9783319178219, 9783319178226
Format

PDF
Publication date

April 22, 2015
DRM

DRM-free edition available
Download format PDF (.pdf)

Reviews

There are no reviews yet.

Be the first to review “Logic-Based Program Synthesis and Transformation”

Your email address will not be published. Required fields are marked *

Related products