Tell your friends about this item:
Fork Algebras in Algebra, Logic and Computer Science - Advances in Logic Frias, Marcelo Fabian (Univ De Buenos Aires, Argentina)
Fork Algebras in Algebra, Logic and Computer Science - Advances in Logic
Frias, Marcelo Fabian (Univ De Buenos Aires, Argentina)
Fork algebras are a formalism based on the relational calculus with a particular appeal to computer science. 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.
232 pages
| Media | Books Hardcover Book (Book with hard spine and cover) |
| Released | August 1, 2002 |
| ISBN13 | 9789810248765 |
| Publishers | World Scientific Publishing Co Pte Ltd |
| Pages | 232 |
| Dimensions | 163 × 230 × 19 mm · 449 g |