Logic-Based Program Synthesis and TransformationRobert Glück

Logic-Based Program Synthesis and Transformation

Robert Glück, Bishoksan Kafle · 2023

Where to buy

Amazon’s price changes daily, so the most accurate place to see it is there, at the moment you buy.

Book details

Year: 2023
Language: English
Publisher: Springer
Editions: 1
ISBN: 9783031457838

Data source: Wikidata

More by Robert Glück

Generative programming and component engineeringRobert Glück

Generative programming and component engineering

Robert Glück · 2005

Communal NudeRobert Glück

Robert Glück · 2016

In Commemoration of the VisitRobert Glück

In Commemoration of the Visit

Robert Glück · 2016

Reversible ComputationRobert Glück

Reversible Computation

Robert Glück · 2013

Jack the modernistRobert Glück

Jack the modernist

Robert Glück · 1985