This volume contains selected papers from LOPSTR 2003, the 13th Inter- tional Symposium on Logic-Based Program Synthesis and Transformation. The LOPSTR series is devoted to research in logic-based program development. P- ticular topics of interest are speci?cation, synthesis, veri?cation, transformation, specialization, analysis, optimization, composition, reuse, component-based so- ware development, agent-based software development, software arc...
De Logic Based Program Synthesis and Transformation is een populaire optie voor Programmeren. Esy heeft 1 prijs gevonden, de goedkoopste keuze is volgens ons Bol, maar bekijk de andere aanbieders om het zeker te weten. Links openen in een nieuwe tabblad. Bekijk hier onder de product specificaties. Meer product informatie beschikbaar bij Bol.
Logic Based Program Synthesis and Transformation is onder andere te koop bij: Bol. Esy raadt altijd aan om meerdere aanbieders te bekijken om geen last minute deals mis te lopen.
Software is pervasive, error-prone, expensive to develop and, as an engineering medium, extraordinarily seductive. Some of the major challenges in software development lie not so much in the details o...