Categories for Software Engineering

Gebonden Engels 2004 2005e druk 9783540209096
€ 60,99
Levertijd ongeveer 9 werkdagen
Gratis verzonden

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

€ 60,99
Levertijd ongeveer 9 werkdagen
Gratis verzonden

Rubrieken

    Personen

      Trefwoorden

        Categories for Software Engineering