Algebraic and Coalgebraic Methods in the Mathematics of Program Construction - Prijzen

Program construction is about turning specifications of computer software into implementations. Recent research aimed at improving the process of program construction exploits insights from abstract algebraic tools such as lattice theory, fixpoint calculus, universal algebra, category theory, and allegory theory. This textbook-like tutorial presents, besides an introduction, eight coherently written chapters by leading authorities on ordered set...

De Algebraic and Coalgebraic Methods in the Mathematics of Program Construction 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.

Productspecificaties

Waar te koop

Algebraic and Coalgebraic Methods in the Mathematics of Program Construction is onder andere te koop bij: Bol. Esy raadt altijd aan om meerdere aanbieders te bekijken om geen last minute deals mis te lopen.

Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
meer afbeeldingen
  • EAN9783540436133
37.888.224producten
137.270merken
927winkels