Related Books

Goguen Categories
Language: en
Pages: 217
Authors: Michael Winter
Categories: Philosophy
Type: BOOK - Published: 2007-08-14 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Goguen categories extend the relational calculus and its categorical formalization to the fuzzy world. Starting from the fundamental concepts of sets, binary re
Categories for Software Engineering
Language: en
Pages: 255
Authors: Jose Luiz Fiadeiro
Categories: Computers
Type: BOOK - Published: 2005 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Demonstrates how category theory can be used for formal software development. The mathematical toolbox for the Software Engineering in the new age of complex in
Foundations of Algebraic Specification and Formal Software Development
Language: en
Pages: 594
Authors: Donald Sannella
Categories: Computers
Type: BOOK - Published: 2012-01-05 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book provides foundations for software specification and formal software development from the perspective of work on algebraic specification, concentrating
Category Theory Applied to Computation and Control
Language: en
Pages: 268
Authors: Ernest G. Manes
Categories: Computers
Type: BOOK - Published: 1975 - Publisher: Springer

DOWNLOAD EBOOK

Presents the results of a symposium which brought together scientists interested in applying modern algebraic techniques to problems in control & computer scien
GABCOM & GABMET
Language: en
Pages: 724
Authors: Gmelin Institut
Categories: Science
Type: BOOK - Published: 1993-07-02 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

The scientific literature in chemistry and physics abounds with abbreviations of chemical compounds, physical methods and mathematical procedures. Unfortunately