0
Your cart

Your cart is empty

Books > Computing & IT > Applications of computing > Artificial intelligence

Buy Now

Logic-Based Program Synthesis and Transformation - 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers (Paperback, 2015 ed.) Loot Price: R1,537
Discovery Miles 15 370
Logic-Based Program Synthesis and Transformation - 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11,...

Logic-Based Program Synthesis and Transformation - 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers (Paperback, 2015 ed.)

Maurizio Proietti, Hirohisa Seki

Series: Theoretical Computer Science and General Issues, 8981

 (sign in to rate)
Loot Price R1,537 Discovery Miles 15 370 | Repayment Terms: R144 pm x 12*

Bookmark and Share

Expected to ship within 10 - 15 working days

This book constitutes the thoroughly refereed post-conference proceedings of the 24th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2014, held in Canterbury, UK, in September 2014. The 18 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 34 submissions. The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. The papers are organized along a set of thematic tracks: program analysis and transformation, constraint handling rules, termination analysis, security, program testing and verification, program synthesis, program derivation, semantic issues in logic programming and program transformation and optimization.

General

Imprint: Springer International Publishing AG
Country of origin: Switzerland
Series: Theoretical Computer Science and General Issues, 8981
Release date: April 2015
First published: 2015
Editors: Maurizio Proietti • Hirohisa Seki
Dimensions: 235 x 155 x 18mm (L x W x T)
Format: Paperback
Pages: 333
Edition: 2015 ed.
ISBN-13: 978-3-319-17821-9
Categories: Books > Science & Mathematics > Mathematics > General
Books > Computing & IT > General theory of computing > Mathematical theory of computation
Books > Computing & IT > Computer programming > Software engineering
Books > Computing & IT > Applications of computing > Artificial intelligence > General
LSN: 3-319-17821-0
Barcode: 9783319178219

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

Partners