Germán Vidal
Logic-Based Program Synthesis and Transformation
Germán Vidal · 2012
Where to buy
Amazon’s price changes daily, so the most accurate place to see it is there, at the moment you buy.
View on AmazonBook details
- Year
- 2012
- Language
- English
- Series
- Lecture Notes in Computer Science -- 7225
- Publisher
- Springer Berlin Heidelberg
- Editions
- 2
- ISBN
- 9783642322112
Data source: Wikidata