Logic-Based Program Synthesis and Transformation: 9th International Workshop, LOPSTR'99, Venice, Italy, September 22-24, 1999 Selected Papers (Lecture Notes in Computer Science, 1817, Band 1817)

Allgemein

Marke
Springer Berlin Heidelberg
MPN
Springer Berlin Heidelberg 7038010
ISBN
Springer Berlin Heidelberg 9783540676287

Eigenschaften

Menü