Name: Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems : Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday
ISBN: 9783031314759

by Lopez-Garcia, Pedro, Gallagher, John P., Giacobazzi, Roberto

Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems : Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday

by Lopez-Garcia, Pedro, Gallagher, John P., Giacobazzi, Roberto

Marketplace Prices
New from $128.31

New
$128.31

List Price

~~$139.99~~

Discount

8% Off

You Save

$11.68

Recommended

Item Details
Condition: New
Provider: LightningBooks Contact
Provider Rating:

85%
Ships From: Multiple Locations
Shipping: Standard, Expedited (tracking available)
Comments: Fast shipping! All orders include delivery confirmation.

ISBN-13: 9783031314759
ISBN: 3031314751
Publication Date: 2023
Publisher: Springer

AUTHOR

Lopez-Garcia, Pedro, Gallagher, John P., Giacobazzi, Roberto

SUMMARY

Lopez-Garcia, Pedro is the author of 'Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems : Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday', published 2023 under ISBN 9783031314759 and ISBN 3031314751.

[read more]