Skip your Account's links

$ USD

Advanced search

0 items

$0.00
  • Your basket
  • The RRP is the suggested or Recommended Retail Price of a product, set by the publisher or manufacturer.

  • View basket

  • Your basket is empty

  • Delivery included on your order!

  • View basket

Skip Navigation and go to main content

Delivery included to the United States

Logic-Based Program Synthesis and Transformation

Logic-Based Program Synthesis and Transformation 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8-10, 2019, Revised Selected Papers

Paperback (27 Apr 2020) | German

Not available for sale

Out of stock

This service is protected by reCAPTCHA and the Google Privacy Policy and Terms of Service apply.

Check stock

    Other formats & editions

    New
    Paperback (22 Apr 2020) RRP $61.51 $54.03

    Publisher's Synopsis

    Logic-Based Program Synthesis and Transformation

    Book information

    ISBN: 9783030452612
    Publisher: Springer Nature B.V.
    Imprint: Springer Nature B.V.
    Pub date:
    Language: German
    Number of pages: 280
    Weight: 397g
    Height: 234mm
    Width: 156mm

    We recommend

    $11.23off

    Add to basket

    $7.21off

    Add to basket

    $9.42off

    Refactoring

    Martin Fowler

    Hardback
    Published 11 Jan 2019

    Save $9.42

    • RRP $66.98
    • $57.56
    Add to basket

    $6.61off

    Code

    Charles Petzold

    Paperback
    Published 24 Nov 2022

    Save $6.61

    • RRP $39.64
    • $33.03
    Add to basket
    Add to basket

    $4.10off

    Mapmatics

    Paulina RowiÔnska

    Hardback
    Published 27 Sep 2024

    Save $4.10

    • RRP $34.11
    • $30.01
    Add to basket

    $13.12off

    Add to basket

    $11.29off

    Programming

    Bjarne Stroustrup

    Paperback
    Published 09 Sep 2024

    Save $11.29

    • RRP $82.02
    • $70.73
    Add to basket

    $18.28off

    Add to basket

    $16.22off

    Add to basket