Categories for Software Engineering

Gebonden Engels 2004 2005e druk 9783540209096
Verwachte levertijd ongeveer 9 werkdagen

Samenvatting

Demonstrates how category theory can be used for formal software development.

The mathematical toolbox for the Software Engineering in the new age of complex interactive systems.

Specificaties

ISBN13:9783540209096
Taal:Engels
Bindwijze:gebonden
Aantal pagina's:250
Uitgever:Springer Berlin Heidelberg
Druk:2005

Lezersrecensies

Wees de eerste die een lezersrecensie schrijft!

Inhoudsopgave

Basics.- Introducing Categories.- Building Categories.- Universal Constructions.- Functors.- Advanced Topics.- Functor-Based Constructions.- Adjunctions.- Applications.- CommUnity.- Architectural Description.- An Algebra of Connectors.

Managementboek Top 100

Rubrieken

    Personen

      Trefwoorden

        Categories for Software Engineering