Jose Luiz Fiadeiro
Springer Berlin Heidelberg
2005e druk, 2004
9783540209096
Categories for Software Engineering
Specificaties
Gebonden, 250 blz.
|
Engels
Springer Berlin Heidelberg |
2005e druk, 2004
ISBN13: 9783540209096
Rubricering
Juridisch
:
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
Hoofdrubriek:Programmeren, Computer en informatica
Inhoudsopgave
Basics.- Introducing Categories.- Building Categories.- Universal Constructions.- Functors.- Advanced Topics.- Functor-Based Constructions.- Adjunctions.- Applications.- CommUnity.- Architectural Description.- An Algebra of Connectors.
Net verschenen
Rubrieken
- aanbestedingsrecht
- aansprakelijkheids- en verzekeringsrecht
- accountancy
- algemeen juridisch
- arbeidsrecht
- bank- en effectenrecht
- bestuursrecht
- bouwrecht
- burgerlijk recht en procesrecht
- europees-internationaal recht
- fiscaal recht
- gezondheidsrecht
- insolventierecht
- intellectuele eigendom en ict-recht
- management
- mens en maatschappij
- milieu- en omgevingsrecht
- notarieel recht
- ondernemingsrecht
- pensioenrecht
- personen- en familierecht
- sociale zekerheidsrecht
- staatsrecht
- strafrecht en criminologie
- vastgoed- en huurrecht
- vreemdelingenrecht