booktheque

Logic-Based Program Synthesis and Transformation

Fabio Fioravanti, Gallagher, John P. · 2018

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
2018
Publisher
Springer
Editions
1
Pages
357
ISBN
9783319944593

Data source: Wikidata