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 2010 |
Availability | Expected to ship within 10 - 15 working days |
First published | 2005 |
Authors | Jose Luiz Fiadeiro |
Dimensions | 235 x 155 x 14mm (L x W x T) |
Format | Paperback |
Pages | 250 |
Edition | Softcover reprint of hardcover 1st ed. 2005 |
ISBN-13 | 978-3-642-05888-2 |
Barcode | 9783642058882 |
Categories | |
LSN | 3-642-05888-4 |