CURRENTLY SOLD OUT

Logic-Based Program Synthesis and Transformation: 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers by Hirohisa Seki, Maurizio Proietti (Paperback, 2015)

About this product

Product Information

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.

Product Identifiers

Publisher
Springer International Publishing Ag
ISBN-13
9783319178219
eBay Product ID (ePID)
214343364

Product Key Features

Author
Hirohisa Seki, Maurizio Proietti
Publication Name
Logic-Based Program Synthesis and Transformation: 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers
Format
Paperback
Language
English
Subject
Computer Science, Mathematics
Publication Year
2015
Type
Textbook
Number of Pages
333 Pages

Dimensions

Item Height
235mm
Item Width
155mm
Volume
8981
Item Weight
534g

Additional Product Features

Series Title
Theoretical Computer Science and General Issues
Country/Region of Manufacture
Switzerland
Editor
Hirohisa Seki, Maurizio Proietti

Best Selling in Adult Learning & University

See all

Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- Best Selling in Adult Learning & University

The Weed Forager's Handbook: A Guide to Edible and Medicinal Weeds in Australia by Adam Grubb, Annie Raser-Rowland (2012, Paperback)
4.8 out of 5 stars based on 88 product ratings
AU $19.95 New
AU $13.00 Used
Australian Native Bee Book: Keeping Stingless Bee Hives for Pets, Pollination and Sugarbag Honey by Tim Heard (Paperback, 2015)
4.9 out of 5 stars based on 157 product ratings
AU $39.98 New
AU $31.50 Used
The Falsification of History: Our Distorted Reality by John Hamer (Paperback, 2013)
No ratings or reviews yet.
AU $59.41 New
---- Used
In-Basket Case Studies by Guy Adamson (Paperback, 1986)
No ratings or reviews yet.
AU $19.99 New
---- Used
Permaculture: A Designer's Manual by Bill Mollison (Hardcover, 1988)
5.0 out of 5 stars based on 12 product ratings
AU $182.95 New
AU $79.95 Used
Botanical Field Guide by Stefan Mager (Fold-out book or chart, 2021)
4.5 out of 5 stars based on 4 product ratings
AU $14.99 New
---- Used
A guide to the Project Management Body of Knowledge (PMBOK guide) and the Standard for project management by Project Management Institute (Paperback, 2021)
No ratings or reviews yet.
AU $45.09 New
---- Used

Save on Adult Learning & University

Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- Save on Adult Learning & University

Netter Atlas of Human Anatomy: Classic Regional Approach
AU $113.94
Trending at AU $122.01
The Red Book: Liber Novus by Carl Gustav Jung (English) Hardcover Book
AU $322.59
Trending at AU $335.20
Sally Fallon Morell Thomas S. Cowan The Contagion Myth (Hardback) (US IMPORT)
AU $50.71
Trending at AU $57.23
Steven Holzner Physics Essentials For Dummies (Paperback)
AU $25.30
Trending at AU $27.81
Havard's Nursing Guide to Drugs
AU $74.99
Trending at AU $76.66
T. Jared Bunch Matthew LaPlante John D. Day The AFib Cure (Paperback)
AU $42.59
Trending at AU $45.42

Shop by category

Logic-Based Program Synthesis and Transformation: 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers by Hirohisa Seki, Maurizio Proietti (Paperback, 2015)

About this product

Product Information

Product Identifiers

Product Key Features

Dimensions

Additional Product Features

Best Selling in Adult Learning & University

The Weed Forager's Handbook: A Guide to Edible and Medicinal Weeds in Australia by Adam Grubb, Annie Raser-Rowland (2012, Paperback)

Australian Native Bee Book: Keeping Stingless Bee Hives for Pets, Pollination and Sugarbag Honey by Tim Heard (Paperback, 2015)

The Falsification of History: Our Distorted Reality by John Hamer (Paperback, 2013)

In-Basket Case Studies by Guy Adamson (Paperback, 1986)

Permaculture: A Designer's Manual by Bill Mollison (Hardcover, 1988)

Botanical Field Guide by Stefan Mager (Fold-out book or chart, 2021)

A guide to the Project Management Body of Knowledge (PMBOK guide) and the Standard for project management by Project Management Institute (Paperback, 2021)

Save on Adult Learning & University

Netter Atlas of Human Anatomy: Classic Regional Approach

The Red Book: Liber Novus by Carl Gustav Jung (English) Hardcover Book

Sally Fallon Morell Thomas S. Cowan The Contagion Myth (Hardback) (US IMPORT)

Steven Holzner Physics Essentials For Dummies (Paperback)

Havard's Nursing Guide to Drugs

T. Jared Bunch Matthew LaPlante John D. Day The AFib Cure (Paperback)

You may also like

Paperback Dictionaries Revised Edition

Logic Paperback Adult Learning & University Books

Paperbacks International Edition

Logic Non-Fiction Paperback Fiction & Books

Non-Fiction Paperback Fiction & Game Programming Books

Mathematics Paperback School Textbooks & Study Guides Revised Edition