Name: Fork Algebras in Algebra, Logic and Computer Science (en Inglés)
SKU: 25306953
Price: 121.22 USD
Availability: InStock
Author: Frias, Marcelo Fabian
ISBN: 9789810248765

portada Fork Algebras in Algebra, Logic and Computer Science (en Inglés)

Fork Algebras in Algebra, Logic and Computer Science (en Inglés)

Formato

Libro Físico

Autor

Marcelo Fabian Frias

Editorial

World Scientific Publishing Company

Año

2002

Idioma

Inglés

N° páginas

232

Encuadernación

Tapa Dura

Dimensiones

23.8x16.3x1.9 cm

Peso

0.45 kg.

ISBN

9810248768

ISBN13

9789810248765

Categorías

Lógica matemática
Matemáticas aplicadas
Ciencias de la computación

Fork Algebras in Algebra, Logic and Computer Science (en Inglés)

Marcelo Fabian Frias (Autor) · World Scientific Publishing Company · Tapa Dura

Libro Nuevo Importado

Envío: 19 a 26 días háb.

$ 220.40$ 121.22

-45%

Costos de importación incluídos en el precio ✅

Libro Nuevo

Quedan 100 unidades

$ 121.22

Llega entre el 26 Oct y el 10 Nov a Quito, Pichincha. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "Fork Algebras in Algebra, Logic and Computer Science (en Inglés)"

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.