Logic-Based Program Synthesis and Transformation: 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected ... Notes in Computer Science, Band 7844)

Ein kompakter Überblick über die neuesten Erkenntnisse in logikbasierter Programmsynthese, präsentiert im LOPSTR‑Symposium 2012, mit praxisnahen ...

Allgemein

Marke
Springer Berlin Heidelberg
MPN
Springer Berlin Heidelberg 36 black & white illustrations, biograph
ISBN
Springer Berlin Heidelberg 3642381960

Eigenschaften

Menü