Read Fork Algebras in Algebra, Logic and Computer Science

Fork Algebras in Algebra, Logic and Computer Science

Marcelo Fabi n Frias

4.9/5 (31299 ratings)

Description: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 book 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 can be applied in many ways, and the book covers all the essentials in order to provide the reader with a better understanding.We have made it easy for you to find a PDF Ebooks without any digging. And by having access to our ebooks online or by storing it on your computer, you have convenient answers with Fork Algebras in Algebra, Logic and Computer Science. To get started finding Fork Algebras in Algebra, Logic and Computer Science, you are right to find our website which has a comprehensive collection of manuals listed.
Our library is the biggest of these that have literally hundreds of thousands of different products represented.

Pages: 230

Format: PDF, EPUB & Kindle Edition

Publisher: World Scientific

Release: 2002

ISBN: xsV4

Description: 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 book 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 can be applied in many ways, and the book covers all the essentials in order to provide the reader with a better understanding.We have made it easy for you to find a PDF Ebooks without any digging. And by having access to our ebooks online or by storing it on your computer, you have convenient answers with Fork Algebras in Algebra, Logic and Computer Science. To get started finding Fork Algebras in Algebra, Logic and Computer Science, you are right to find our website which has a comprehensive collection of manuals listed.
Our library is the biggest of these that have literally hundreds of thousands of different products represented.

Special Offer | $0.00

Special Offer! | $0.00

Fork Algebras in Algebra, Logic and Computer Science

Fork Algebras in Algebra, Logic and Computer Science

More Books

Fork Algebras in Algebra, Logic and Computer Science by Marcelo Fabian Frias (2002-06-15)

Fork Algebras in Algebra, Logic and Computer Science by Marcelo Fabian Frias (2002-06-15)