Roy Crole – författare

Visar alla böcker från författaren Roy Crole. Handla med fri frakt och snabb leverans.

2 produkter

1. 

   Algebraic and Coalgebraic Methods in the Mathematics of Program Construction

   International Summer School and Workshop, Oxford, UK, April 10-14, 2000, Revised Lectures

   Av Roland Backhouse, Roy Crole m. fl.

   Häftad, 2002

   566 kr

   Lägg i varukorg

   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 …

2. 

   Algebraic and Coalgebraic Methods in the Mathematics of Program Construction

   International Summer School and Workshop, Oxford, UK, April 10-14, 2000, Revised Lectures

   Av Jeremy Gibbons, Roy Crole m. fl.

   E-bok, 2003

   734 kr

   Lägg i varukorg

   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 …