EbookBell.com

Most ebook files are in PDF format, so you can easily read them using various software such as Foxit Reader or directly on the Google Chrome browser.
Some ebook files are released by publishers in other formats such as .awz, .mobi, .epub, .fb2, etc. You may need to install specific software to read these formats on mobile/PC, such as Calibre.

Please read the tutorial at this link: https://ebookbell.com/faq

We offer FREE conversion to the popular formats you request; however, this may take some time. Therefore, right after payment, please email us, and we will try to provide the service as quickly as possible.

For some exceptional file formats or broken links (if any), please refrain from opening any disputes. Instead, email us first, and we will try to assist within a maximum of 6 hours.

EbookBell Team

Fork Algebras In Algebra Logic And Computer Science Marcelo Fabian Frias

Name: Fork Algebras In Algebra Logic And Computer Science Marcelo Fabian Frias
SKU: BELL-1078236
Price: 31.00 USD
Availability: InStock
Rating: 5 (28 reviews)

SKU: BELL-1078236

$ 31.00 ~~$ 45.00~~ (-31%)

5.0

28 reviews

Fork Algebras In Algebra Logic And Computer Science Marcelo Fabian Frias instant download after payment.

Publisher: World Scientific

File Extension: PDF

File size: 6.47 MB

Pages: 230

Author: Marcelo Fabian Frias

ISBN: 9789810248765, 9789812777928, 9810248768, 981277792X

Language: English

Year: 2002

Product desciption

Fork Algebras In Algebra Logic And Computer Science Marcelo Fabian Frias by Marcelo Fabian Frias 9789810248765, 9789812777928, 9810248768, 981277792X instant download after payment.

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.