Hoppa till sidans huvudinnehåll

Logic-Based Program Synthesis and Transformation

28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers

Häftad, Engelska, 2019

Av Fred Mesnard, Peter J. Stuckey

729 kr

Beställningsvara. Skickas inom 10-15 vardagar
Fri frakt för medlemmar vid köp för minst 249 kr.

This book constitutes the thoroughly refereed post-conference proceedings of the 28th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2018, held in Frankfurt/Main, Germany, in September 2018.The 11 revised full papers were carefully reviewed and selected from 29 submissions.

Produktinformation

  • Utgivningsdatum2019-02-23
  • Mått155 x 235 x 13 mm
  • Vikt347 g
  • FormatHäftad
  • SpråkEngelska
  • SerieLecture Notes in Computer Science
  • Antal sidor203
  • FörlagSpringer Nature Switzerland AG
  • ISBN9783030138370