Logic-Based Program Synthesis and Transformation

Der Band aus dem internationalen Symposium LOPSTR 2013 in Madrid fasst aktuelle Forschung zu logikbasierter Programmsynthese und Transformation zusamm ...

Allgemein

Marke
Springer-Verlag GmbH
MPN
Springer-Verlag GmbH 51 black & white illustrations, biograph
ISBN
Springer-Verlag GmbH 9783319141244

Eigenschaften

Menü