Logic-Based Program Synthesis and TransformationFabio Fioravanti

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 AmazonAffiliate 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