Name: Categories for Software Engineering
Author: Fiadeiro, José L.

Beschreibung

Categories for Software Engineering

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. von Fiadeiro, José L.

Produktdetails

Einband:

Gebunden

Seitenzahl:

250

Erschienen:

2004-10-18

Sprache:

Englisch

EAN:

9783540209096

ISBN:

3540209093

Verlag:

Springer-Verlag GmbH

Gewicht:

560 g

Auflage:

Verwandte Sachgebiete:

Allgemeine Informatik

Alle gebrauchten Bücher werden von uns handgeprüft.
So garantieren wir Dir zu jeder Zeit Premiumqualität.

Über den Autor

Fiadeiro, José L.

Professor at the University of Leicester; Visiting Scientist at Imperial College, King's College London, SRI International and the University of Pisa; Chairman of the IFIP WG1.3 - Foundations of System Specification; Chairman of the Steering Committee of the European Joint Conferences on Theory and Practice of Software; Winner of an IBM Award in 1996 for his work on Emergence in Complex Software Systems