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.
Categories for Software Engineering
📄 Viewing lite version
Full site ›
Book Details
Author(s)José L. Fiadeiro
PublisherSpringer
ISBN / ASIN3540209093
ISBN-139783540209096
AvailabilityUsually ships in 1-2 business days
Sales Rank4,705,053
CategoryComputers
MarketplaceUnited States 🇺🇸
Description ▲
More Books in Computers
The Good Web Site Guide 2006: The Completely Revised, …
View
The Pentium Microprocessor
View
Advanced Intel Microprocessors: 80286, 80386, And 80486
View
Differential Equations: Matrices and Models
View
Digital Experiments: Emphasizing Troubleshooting (Merr…
View
Data Structures for Computer Information Systems
View
The Little LISPer, Third Edition
View
Inside Networks
View
Computer Graphics Using Open GL (2nd Edition)
View