Related Books
Language: en
Pages: 217
Pages: 217
Type: BOOK - Published: 2007-08-14 - Publisher: Springer Science & Business Media
Goguen categories extend the relational calculus and its categorical formalization to the fuzzy world. Starting from the fundamental concepts of sets, binary re
Language: en
Pages: 255
Pages: 255
Type: BOOK - Published: 2005-08-09 - Publisher: Springer Science & Business Media
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
Language: en
Pages: 594
Pages: 594
Type: BOOK - Published: 2012-01-05 - Publisher: Springer Science & Business Media
This book provides foundations for software specification and formal software development from the perspective of work on algebraic specification, concentrating
Language: en
Pages: 128
Pages: 128
Type: BOOK - Published: 1986-12 - Publisher:
Language: en
Pages: 370
Pages: 370
Type: BOOK - Published: 2011-05-20 - Publisher: Springer Science & Business Media
This book constitutes the proceedings of the 12 International Conference on Relational and Algebraic Methods in Computer Science, RAMICS 2011, held in Rotterdam