The purpose of this book is to study the structures needed to model objects in universal algebra, universal coalgebra and theoretical computer science. Universal algebra is used to describe different kinds of algebraic structures, while coalgebras are used to model state-based machines in computer science. The connection between algebras and coalgebras provides a way to connect static data-oriented systems with dynamical behavior-oriented systems. Algebras are used to describe data types and coalgebras describe abstract systems or machines. The book presents a clear overview of the area, from which further study may proceed.

"About this title" may belong to another edition of this title.

Store Description

Proceeds from our book sales help support our farm and the growing of sustainable foods. Your purchase will not only get you a great book, but will help to keep small farmers alive. Thanks!

Visit Seller's Storefront

Seller's business information

GoldenWavesOfBooks
TX, U.S.A.

Terms of Sale:

All books subject to prior sale. Books shipped via USPS Media Mail or Priority Mail. Extra postage required for heavy books and sets unless otherwise noted. Payment in U.S. dollars via VISA/MASTERCARD/DISCOVER. Sorry, we do not accept checks or money orders. Purchases may be returned within 30 days of receipt for refund; refund will be initiated upon receipt of returned book.

Shipping Terms:

Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.

Payment Methods
accepted by seller

Visa Mastercard American Express Apple Pay Google Pay

Add to Wants