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

256.34 SGD
会員価格
230.71

Product Description

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

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.00 SGD以上で国内送料無料

Discount is applied at checkout.

Recently Viewed Items

Related Products