Lecture Notes in Computer Science Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems: Essays Dedicated to Manue, Book 13160, (Paperback)

Name: Lecture Notes in Computer Science Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems: Essays Dedicated to Manue, Book 13160, (Paperback)
Brand: Pedro Lopez-Garcia
SKU: prod_28e703896084097145b53d13
Price: 272.00 USD
Availability: InStock

Lecture Notes in Computer Science Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems: Essays Dedicated to Manue, Book 13160, (Paperback) Author: Springer ISBN: 9783031314759 Format: Paperback Publication Date: 2023-05-17 Page Count: 351

Shipping & Returns

Price unavailable

Lecture Notes in Computer Science Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems: Essays Dedicated to Manue, Book 13160, (Paperback)—

$272.00

Price unavailable

Lecture Notes in Computer Science Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems: Essays Dedicated to Manue, Book 13160, (Paperback)—

$272.00