Wird geladen ...
Druckschrift 
Logic-based program synthesis and transformation : 25th international symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015 : revised selected papers / Moreno Falaschi
(ed.)
Entstehung
Einzelbild herunterladen
  Seite