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.
Or split into 4x interest-free payments of 25% on orders over R50
Learn more
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.
Imprint | Springer-Verlag |
Country of origin | Germany |
Release date | October 2004 |
Availability | Expected to ship within 10 - 15 working days |
First published | October 2004 |
Authors | Jose Luiz Fiadeiro |
Dimensions | 235 x 155 x 21mm (L x W x T) |
Format | Hardcover |
Pages | 250 |
Edition | 2005 ed. |
ISBN-13 | 978-3-540-20909-6 |
Barcode | 9783540209096 |
Categories | |
LSN | 3-540-20909-3 |