A little wonder in every chapter. Find your next favourite read

Logic-Based Program Synthesis and Transformation

€ 62,49

Logic-Based Program Synthesis and Transformation — 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers. An English-language digital edition by Moreno Falaschi (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-2503041 Category:

Description

About this book

This book constitutes the thoroughly refereedpost-conference proceedings of the 25th International Symposium on Logic-BasedProgram Synthesis and Transformation, LOPSTR 2015, held in Siena,…

Catalogue preview, eBooks.com

Edition details

  • Author / contributors: Moreno Falaschi (Editor)
  • Publisher: Springer International Publishing
  • Publication date: December 16, 2015
  • Language: English
  • ISBNs: 9783319274355; 9783319274362
  • Digital formats: PDF

Additional information

Author

Moreno Falaschi (Editor)

Publisher

Springer International Publishing

Language

English

ISBN

9783319274355, 9783319274362

Format

PDF

Publication date

December 16, 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 *