booktheque

Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems

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

Where to buy

Check today’s price on Amazon. We do not show prices because they change daily.

View on Amazon

Affiliate link. As an Amazon Associate we earn from qualifying purchases.

Book details

Year
2023
Language
English
Publisher
Springer
Editions
1
ISBN
9783031314759

Data source: Wikidata