„Programmsynthese“

Suchergebnisse

81 Treffer

• Logic based program synthesis and transformation – 15th international symposium ; revised selected papers
  Hill, Patricia M. 2006 Springer