ISBN: 9789810248765 - fork algebras in algebra, logic and computer science (advances in logic, volume 2, band 2) (11 Ergebnisse)

Hardcover. Zustand: Very Good. First Edition. Legacy smart filter userdata3=general (pricing criteria).

Zustand: Very Good. 1st. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.

Zustand: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.

Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.

Zustand: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed.

HRD. Zustand: New. New Book. Shipped from UK. Established seller since 2000.

Zustand: New.

Hardcover. Zustand: Brand New. 232 pages. 9.25x6.25x0.75 inches. In Stock.

Zustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. InhaltsverzeichnisContents: Introduction and Motivations Algebras of Binary Relations and Relation Algebras Proper and Abstract Fork Algebras Representability and Independence Interpretability of Classical First-Order Logic Algebrai.…

Buch. Zustand: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - 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.…

Buch. Zustand: Neu. FORK ALGEBRAS IN ALGEBRA, LOGIC &.(V2) | Frias Marcelo Fabian | Buch | ADVANCES IN LOGIC | Gebunden | Englisch | 2002 | World Scientific | EAN 9789810248765 | Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, 36244 Bad Hersfeld, gpsr[at]libri[dot]de | Anbieter: preigu Print on Demand.…