Fork Alegebras in Algebra, Logic and Computer Science (BOK)

Fork Alegebras in Algebra, Logic and Computer Science (BOK)

Marcelo Fabian Frias

929,00 92900
Sendes vanligvis innen 5-15 dager
Fork algebras are a formalism based on the relational calculus, with interesting algebraic and metalogical properties. Their representability is especially appealing in computer science, since it allows a closer relationship between their language and models. This work gives a careful account of the results and presents some applications of Fork algebras in computer science, particularly in system specification and program construction. Many applications of Fork algebras in formal methods are foreseen, and the work covers all the essentials in order to provide the reader with a better understanding.

Produktfakta

Språk Engelsk Engelsk Innbinding Innbundet
Utgitt 2002 Forfatter Marcelo Fabian Frias
Forlag
World Scientific Publishing UK
ISBN 9789810248765
Antall sider 232 Leverandør Bertram Trading Ltd
Emner og form Algebra