Logic-Based Program Synthesis and Transformation : 32nd International Symposium, LOPSTR 2022, Tbilisi, Georgia, September 21-23, 2022, Proceedings (Lecture Notes in Computer Science 13474) (1st ed. 2022. 2022. xiii, 155 S. XIII, 155 p. 31 illus., 16 illus

Name: Logic-Based Program Synthesis and Transformation : 32nd International Symposium, LOPSTR 2022, Tbilisi, Georgia, September 21-23, 2022, Proceedings (Lecture Notes in Computer Science 13474) (1st ed. 2022. 2022. xiii, 155 S. XIII, 155 p. 31 illus., 16 illus
Brand: SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING;
SKU: 00000_00000_00000_00000
Price: 109.85 SGD
Availability: InStock

Herausgegeben:Villanueva, Alicia

109.85 SGD

Member Price

98.87

Quantity:

Product Description

XIII, 155 p. 31 illus., 16 illus. in color.

... Read Full Text

Publisher

SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING;

Publication Date

ISBN

9783031167669

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.

Free domestic shipping on orders over 50.00SGD

Your Cart

Logic-Based Program Synthesis and Transformation : 32nd International Symposium, LOPSTR 2022, Tbilisi, Georgia, September 21-23, 2022, Proceedings (Lecture Notes in Computer Science 13474) (1st ed. 2022. 2022. xiii, 155 S. XIII, 155 p. 31 illus., 16 illus

Product Description

Available to Order

Logic-Based Program Synthesis and Transformation : 32nd International Symposium, LOPSTR 2022, Tbilisi, Georgia, September 21-23, 2022, Proceedings (Lecture Notes in Computer Science 13474) (1st ed. 2022. 2022. xiii, 155 S. XIII, 155 p. 31 illus., 16 illus

Recently Viewed Items

Related Products