Buch, Englisch, 250 Seiten, Previously published in hardcover, Format (B × H): 155 mm x 235 mm, Gewicht: 406 g
Buch, Englisch, 250 Seiten, Previously published in hardcover, Format (B × H): 155 mm x 235 mm, Gewicht: 406 g
ISBN: 978-3-642-05888-2
Verlag: Springer
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.
Zielgruppe
Professional/practitioner
Autoren/Hrsg.
Fachgebiete
- Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Programmierung: Methoden und Allgemeines
- Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Software Engineering Objektorientierte Softwareentwicklung
- Mathematik | Informatik Mathematik Mathematik Allgemein Grundlagen der Mathematik
Weitere Infos & Material
Basics.- Introducing Categories.- Building Categories.- Universal Constructions.- Functors.- Advanced Topics.- Functor-Based Constructions.- Adjunctions.- Applications.- CommUnity.- Architectural Description.- An Algebra of Connectors.




