Logic-Based Program Synthesis and Transformation

Du sparer 0% ift. normalprisen Spar 0%

Paperback
8-11 hverdage
553,95 kr.

Bag om 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.

Vis mere

Sprog:
Engelsk

ISBN:
9783319178219

Forlag:
Springer International Publishing AG

Indbinding:
Paperback

Sideantal:
333

Udgivet:
4. maj 2015

Udgave:
2015

Størrelse:
155x235x18 mm.

Vægt:
534 g.

Leveringstid: 8-11 hverdage.
Forventet levering: 15. november 2024

På lager

Normalpris

BLACK NOVEMBER
553,95 kr. + Fragt
~~553,95 kr.~~

Medlemspris

503,95 kr.

Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.

Beskrivelse af 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.

Brugerbedømmelser af Logic-Based Program Synthesis and Transformation

Andre købte også..

Find lignende bøger

Bogen Logic-Based Program Synthesis and Transformation findes i følgende kategorier:

Business og læring > Computer og IT

Logic-Based Program Synthesis and Transformation - Bog

Beskrivelse af Logic-Based Program Synthesis and Transformation

Brugerbedømmelser af Logic-Based Program Synthesis and Transformation

Gør som tusindvis af andre bogelskere