Zobacz książki o podobnej tematyce

Powiadomienie o dostępności

Więcej informacji o Fork Algebras In Algebra, Logic And Computer Science

• Dane szczegółowe
• Opis
• Ulubione w innej kategorii

Za ten zakup dostaniesz 256 punkty

Opis

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.

Szczegóły książki

Kategoria Books in English Computing & information technology Computer science Mathematical theory of computation

• Pełny tytuł: Fork Algebras In Algebra, Logic And Computer Science
• Autor: Marcelo Fabian Frias
• Język: Angielski
• Oprawa: Twarda
• Liczba stron: 232
• EAN: 9789810248765
• ISBN: 9810248768
• ID: 02082715
• Wydawca: World Scientific Publishing Co Pte Ltd
• Waga: 449 g
• Wymiary: 230 × 163 × 19 mm
• Data wydania: 01. August 2002

Ulubione w innej kategorii

---

---

---