Pastāsti draugiem par šo preci:
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
| Mediji | Grāmatas Hardcover Book (Grāmata ar cieto muguriņu un vāku) |
| Izlaists | 2002. gada 1. augusts |
| ISBN13 | 9789810248765 |
| Izdevēji | World Scientific Publishing Co Pte Ltd |
| Lapas | 232 |
| Izmēri | 163 × 230 × 19 mm · 449 g |