Algebraic and Coalgebraic Methods in the Mathematics of Program Construction

indgår i serie Lecture Notes in Computer Science


Studiebog
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
Du sparer Spar kr. 70,00 med Shopping-fordele
  • Leveringstid 5-8 hverdage
  • Forventet levering 03-05-2021
For at købe bogen til fordelspris skal du have et medlemskab med Shopping-fordele. Du kan prøve medlemskabet gratis de første 30 dage. Medlemskabet fornyes automatisk og kan altid opsiges. Læs mere om medlemskaber og Shopping-fordele her.
Format:
Bog, paperback
Udgivelsesdato:
01-04-2002
Sprog:
Engelsk
Udgave:
2002 ed..
  • Beskrivelse
  • Yderligere info
  • Anmeldelser

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 sets and complete lattices, algebras and coalgebras, Galois connections and fixed point calculus, calculating functional programs, algebra of program termination, exercises in coalgebraic specification, algebraic methods for optimization problems, and temporal algebra.

Vis mereVis mindre

Udgivelsesdato:
01-04-2002
ISBN13:
9783540436133
Vægt:
1260 g
Dybde:
21 mm
Bredde:
155 mm
Højde:
235 mm
Nummer i serien:
2297
Format:
Paperback
Forfattere

    Vis mereVis mindre

    Vis mereVis mindre

    Fandt du ikke hvad du søgte?

    Hvis denne bog ikke er noget for dig, kan du benytte kategorierne nedenfor til at finde andre titler. Klik på en kategori for at se lignende bøger.

    Velkommen til Saxo – din danske boghandel!

    Hos os kan du handle som gæst, Saxo-bruger eller Premium-medlem – du bestemmer helt selv. Skulle du få brug for hjælp, sidder vores kundeservice-team klar ved både telefonerne og tasterne.

    Om fordelspriser hos Saxo

    For at købe bøger til fordelspris, skal du være medlem af Premium, Premium Shopping eller Premium Studie. De første 30 dage er gratis for nye medlemmer. Medlemskabet fornyes automatisk og kan altid opsiges. Læs mere om fordelene ved vores forskellige medlemskaber her.

    Machine Name: SAXO082