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

€ 58,74

Logic-Based Program Synthesis and Transformation — 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers. An English-language digital edition by Gopal Gupta (Editor); Ricardo Peña (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-2474357 Category:

Description

About this book

Logic-Based Program Synthesis and Transformation — 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers. An English-language digital edition by Gopal Gupta (Editor); Ricardo Peña (Editor), available in PDF.

Edition details

  • Author / contributors: Gopal Gupta (Editor); Ricardo Peña (Editor)
  • Publisher: Springer International Publishing
  • Publication date: April 20, 2015
  • Language: English
  • ISBNs: 9783319141244; 9783319141251
  • Digital formats: PDF

Additional information

Author

Gopal Gupta (Editor); Ricardo Peña (Editor)
Publisher

Springer International Publishing
Language

English
ISBN

9783319141244, 9783319141251
Format

PDF
Publication date

April 20, 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