Logic-Based Program Synthesis and Transformation : 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers (Lecture Notes in Computer Science .9527) (1st ed. 2015. 2016. xvii, 385 S. 88 SW-Abb. 235 mm)

Name: Logic-Based Program Synthesis and Transformation : 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers (Lecture Notes in Computer Science .9527) (1st ed. 2015. 2016. xvii, 385 S. 88 SW-Abb. 235 mm)
Brand: SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING
SKU: 00000_00000_00000_00000
Price: 100.69 SGD
Availability: InStock

Herausgegeben von Falaschi, Moreno

100.69 SGD

会員価格

90.63

数量:

Publisher

SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING

Publication Date

Dec 2015

ISBN

9783319274355

Pages

Item Type

Book

Format

Paperback

Available to Order

Usually dispatches within 3-4 weeks

While every attempt has been made to ensure stock availability, occasionally we may run out of stock at our stores.

ご注文金額 50.00SGD以上で国内送料無料

カート

Logic-Based Program Synthesis and Transformation : 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers (Lecture Notes in Computer Science .9527) (1st ed. 2015. 2016. xvii, 385 S. 88 SW-Abb. 235 mm)

Available to Order

Logic-Based Program Synthesis and Transformation : 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers (Lecture Notes in Computer Science .9527) (1st ed. 2015. 2016. xvii, 385 S. 88 SW-Abb. 235 mm)

Recently Viewed Items

Related Products