Items related to Fork Alegebras in Algebra, Logic and Computer Science...
Synopsis
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.
"synopsis" may belong to another edition of this title.
Search results for Fork Alegebras in Algebra, Logic and Computer Science...
Stock Image
Fork Algebras in Algebra, Logic and Computer Science
Published by
World Scientific Publishing Company, 2002
ISBN 10: 9810248768
ISBN 13: 9789810248765
Used
Hardcover
First Edition
Seller: suffolkbooks, Center moriches, NY, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: Very Good. First Edition. Legacy smart filter userdata3=general (pricing criteria). Seller Inventory # 3TWDDA0052PC
Stock Image
Fork Algebras in Algebra, Logic and Computer Science
Published by
World Scientific Publishing Co Pte Ltd, 2002
ISBN 10: 9810248768
ISBN 13: 9789810248765
Used
Hardcover
First Edition
Seller: Better World Books: West, Reno, NV, U.S.A.
Seller rating 5 out of 5 stars
Condition: 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. Seller Inventory # 17996716-6
Stock Image
FORK ALGEBRAS IN ALGEBRA, LOGIC AND COMPUTER SCIENCE VOL- 2
Published by
World Scientific Publishing Company, 2002
ISBN 10: 9810248768
ISBN 13: 9789810248765
New
Hardcover
Seller: Basi6 International, Irving, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Seller Inventory # ABEOCT25-388876
Stock Image
FORK ALGEBRAS IN ALGEBRA, LOGIC AND COMPUTER SCIENCE VOL- 2
Published by
World Scientific Publishing Company, 2002
ISBN 10: 9810248768
ISBN 13: 9789810248765
New
Hardcover
Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Seller rating 5 out of 5 stars
Condition: 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. Seller Inventory # ABBB-265519
Stock Image
FORK ALGEBRAS IN ALGEBRA, LOGIC AND COMPUTER SCIENCE VOL- 2
Published by
World Scientific Publishing Company, 2002
ISBN 10: 9810248768
ISBN 13: 9789810248765
New
Hardcover
Seller: SMASS Sellers, IRVING, TX, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed. Seller Inventory # SNTNB-265519
Stock Image
Fork Algebras In Algebra, Logic And Computer Science
Published by
World Scientific Publishing Company, 2002
ISBN 10: 9810248768
ISBN 13: 9789810248765
New
Hardcover
Seller: PBShop.store UK, Fairford, GLOS, United Kingdom
Seller rating 5 out of 5 stars
HRD. Condition: New. New Book. Shipped from UK. Established seller since 2000. Seller Inventory # CX-9789810248765
Buy New
£ 69.90
£ 5.02 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 15 available
Stock Image
Fork Algebras in Algebra, Logic and Computer Science
Published by
World Scientific Publishing Company, 2002
ISBN 10: 9810248768
ISBN 13: 9789810248765
New
Hardcover
Seller: California Books, Miami, FL, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # I-9789810248765
Stock Image
Fork Algebras in Algebra, Logic and Computer Science
Published by
World Scientific Pub Co Inc, 2002
ISBN 10: 9810248768
ISBN 13: 9789810248765
New
Hardcover
Seller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Hardcover. Condition: Brand New. 232 pages. 9.25x6.25x0.75 inches. In Stock. Seller Inventory # x-9810248768
Buy New
£ 102.59
£ 10 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 2 available
Seller Image
Fork Algebras in Algebra, Logic and Computer Science
Published by
WORLD SCIENTIFIC PUB CO INC, 2002
ISBN 10: 9810248768
ISBN 13: 9789810248765
New
Hardcover
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Condition: 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. Seller Inventory # 909656867
Buy New
£ 85.47
£ 40.83 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: Over 20 available
Seller Image
FORK ALGEBRAS IN ALGEBRA, LOGIC &.(V2)
Print on DemandSeller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Buch. Condition: 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. Seller Inventory # 9789810248765