Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems : Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday (Lecture Notes in Computer Science 13160) (1st ed. 2023. 2023. xiv, 351 S. XIV, 35

Name: Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems : Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday (Lecture Notes in Computer Science 13160) (1st ed. 2023. 2023. xiv, 351 S. XIV, 35
Brand: SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; SPRING
SKU: 00000_00000_00000_00000
Price: 256.34 SGD
Availability: InStock

Herausgegeben:Lopez-Garcia, Pedro/ Gallagher, John P./ Giacobazzi, Roberto

256.34 SGD

Member Price

230.71

Quantity:

Product Description

XIV, 351 p. 70 illus., 26 illus. in color.

... Read Full Text

Publisher

SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; SPRING

Publication Date

ISBN

9783031314759

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

Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems : Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday (Lecture Notes in Computer Science 13160) (1st ed. 2023. 2023. xiv, 351 S. XIV, 35

Product Description

Available to Order

Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems : Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday (Lecture Notes in Computer Science 13160) (1st ed. 2023. 2023. xiv, 351 S. XIV, 35

Recently Viewed Items

Related Products