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
- 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers
- Bindende:
- Paperback
- Sider:
- 333
- Utgitt:
- 4. mai 2015
- Utgave:
- 2015
- Dimensjoner:
- 155x235x18 mm.
- Vekt:
- 534 g.
Gratis frakt
Leveringstid:
2-4 uker
Forventet levering: 15. november 2024
Beskrivelse av Logic-Based Program Synthesis and Transformation
The papers are organized along a set of thematic tracks: program analysis and transformation, constraint handling rules, termination analysis, security, program testing and verification, program synthesis, program derivation, semantic issues in logic programming and program transformation and optimization.
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
