Gjør som tusenvis av andre bokelskere
Abonner på vårt nyhetsbrev og få rabatter og inspirasjon til din neste leseopplevelse.
Ved å abonnere godtar du vår personvernerklæring.Du kan når som helst melde deg av våre nyhetsbrev.
Logic-Based Program Synthesis and Transformation
- 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers
- Bindende:
- Paperback
- Sider:
- 385
- Utgitt:
- 17. desember 2015
- Utgave:
- 12015
- Dimensjoner:
- 155x235x21 mm.
- Vekt:
- 6088 g.
Gratis frakt
Leveringstid:
2-4 uker
Forventet levering: 15. november 2024
Beskrivelse av Logic-Based Program Synthesis and Transformation
This book constitutes the thoroughly refereedpost-conference proceedings of the 25th International Symposium on Logic-BasedProgram Synthesis and Transformation, LOPSTR 2015, held in Siena, Italy, inJuly 2015. The 21 revised full papers presented together with 3invited talks were carefully reviewed and selected from 30 submissions.
Brukervurderinger av Logic-Based Program Synthesis and Transformation
Vurder denne boken
Du må være innlogget for å vurdere denne boken.Andre har også kjøpt..
Finn lignende bøker
Boken Logic-Based Program Synthesis and Transformation finnes i følgende kategorier:
Du kan når som helst melde deg av våre nyhetsbrev.
© 2024 Bokreolen.no
